Sciweavers

7892 search results - page 6 / 1579
» Programming with Models
Sort
View
ICALP
1993
Springer
14 years 15 days ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
IBM
1990
14 years 14 days ago
Evolution of Data Models
Hans-Jörg Schek, Marc H. Scholl
APLAS
2001
ACM
14 years 2 days ago
A Type System for the Push-Enter Model
Kwanghoon Choi, Taisook Han