Sciweavers

5630 search results - page 10 / 1126
» Computability in Specification
Sort
View
69
Voted
ASM
2004
ASM
15 years 3 months ago
An ASM Specification of C# Threads and the .NET Memory Model
Robert F. Stärk, Egon Börger
ICNP
1995
IEEE
15 years 3 months ago
Protocol synthesis from timed and structured specifications
Akio Nakata, Teruo Higashino, Kenichi Taniguchi