![](/img/cover-not-exists.png)
Abstract interpretation of reactive systems
Dams, Dennis, Gerth, Rob, Grumberg, OrnaVolume:
19
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/244795.244800
Date:
March, 1997
File:
PDF, 489 KB
english, 1997