Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL* / by D. Dams, O. Grumberg and R. Gerth
| rdfs:label | "Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL* / by D. Dams, O. Grumberg and R. Gerth" |
| schema:name | "Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL*" |
| schema:author | Dams, Dennis René (1966-) |
| schema:contributor | Gerth, Rob Tristan (1956-) |
| Grumberg, Orna | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1994" |
| schema:about | computersimulatie |
| logica | |
|
schema:in |
"en" |
|
schema:is |
Computing science notes / Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section |
|
schema:number |
28 |
| schema:publication |
<https:/ |