Papers: 10.1007/s00450-013-0251-7

https://doi.org/10.1007/s00450-013-0251-7

Quantitative reactive modeling and verification

Cited by: 32
Author(s): Thomas A. Henzinger
Published: almost 12 years ago

Software Mentions 1