Sciweavers

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