Sciweavers

14244 search results - page 86 / 2849
» Modeling Program Predictability
Sort
View
TOOLS
1997
IEEE
15 years 2 months ago
Requirements Modeling
Tim Hastings
ICALP
1993
Springer
15 years 1 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen