Efficient model checking for duration calculus
Publication: Research - peer-review › Journal article – Annual report year: 2009
| Original language | English |
|---|---|
| Journal | International Journal of Software and Informatics |
| Publication date | 2009 |
| Volume | 3 |
| Journal number | 2-3 |
| Pages | 171-196 |
| ISSN | 1673-7288 |
| State | Published |
ID: 4246240