Quantitative Refinement for Weighted Modal Transition Systems
Publication: Research - peer-review › Conference article in Journal
| Original language | English |
|---|---|
| Book series | Lecture Notes in Computer Science |
| Publication date | 1 Jan 2011 |
| Volume | 6907 LNCS |
| Pages | 60-71 |
| Number of pages | 12 |
| ISSN | 0302-9743 |
| DOIs | |
| State | Published |
Conference
| Conference | 36th International Conference on Mathematical Foundations of Computer Science |
|---|---|
| Number | 36 |
| Country | Poland |
| City | Warsaw |
| Period | 22-08-11 → 26-08-11 |
Loading map data...
ID: 65491001