opaal: A Lattice Model Checker
Publication: Research - peer-review › Conference article in Journal
| Original language | English |
|---|---|
| Book series | Lecture Notes in Computer Science |
| Publication date | 2011 |
| Volume | 6617 |
| Pages | 487-493 |
| Number of pages | 5 |
| ISSN | 0302-9743 |
| DOIs | |
| State | Published |
Conference
| Conference | 3rd International Symposium on NASA Formal Methods |
|---|---|
| Number | 3 |
| Country | United States |
| City | Pasadena, CA |
| Period | 18-04-11 → 20-04-11 |
Loading map data...
Download statistics
No data available
ID: 65906542