Sciweavers

10072 search results - page 168 / 2015
» Composition of Model Programs
Sort
View
TOOLS
1997
IEEE
15 years 10 months ago
Requirements Modeling
Tim Hastings
125
Voted
ICALP
1993
Springer
15 years 10 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen