opaal: A Lattice Model Checker
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
| Originalsprog | Engelsk |
|---|---|
| Bogserie | Lecture Notes in Computer Science |
| Udgivelsesdato | 2011 |
| Vol/bind | 6617 |
| Sider | 487-493 |
| Antal sider | 5 |
| ISSN | 0302-9743 |
| DOI | |
| Status | Udgivet |
Konference
| Konference | 3rd International Symposium on NASA Formal Methods |
|---|---|
| Nummer | 3 |
| Land | USA |
| By | Pasadena, CA |
| Periode | 18-04-11 → 20-04-11 |
Bibliografisk note
Proceeding of the 3rd International Symposium on NASA Formal Methods. (eds.) Bobaru, Mihaela, Havelund, Klaus, Holmann, Gerard J. & Joshi, Rajeev.
Indlæser lokationer...
Download-statistik
Ingen data tilgængelig
ID: 65906542