Stepwise CTL model checking of state/event systems
Publication: Research › Article in proceedings – Annual report year: 1999
| Original language | English |
|---|---|
| Title | Stepwise CTL model checking of state/event systems |
| Publisher | Springer Verlag |
| Publication date | 1999 |
| State | Published |
Conference
| Conference | Computer Aided Verification '99 |
|---|---|
| City | Trento |
| Period | 01-01-99 → … |
Loading map data...
ID: 5366242