Sciweavers

7961 search results - page 21 / 1593
» Input-Output Model Programs
Sort
View
TOOLS
1997
IEEE
15 years 11 months ago
Requirements Modeling
Tim Hastings
151
Voted
TOOLS
1997
IEEE
15 years 11 months ago
Introduction to the Unified Modeling Language
Richard Thomas
132
Voted
ICALP
1993
Springer
15 years 10 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen