Sciweavers

12131 search results - page 9 / 2427
» Introduction to Modeling and Simulation
Sort
View
SAS
1999
Springer
113views Formal Methods» more  SAS 1999»
15 years 2 months ago
Model-Checking: A Tutorial Introduction
Markus Müller-Olm, David A. Schmidt, Bernhard...