Decidability of Modular Logics for Concurrency
Publikation: Forskning - peer review › Konferenceartikel i proceeding
Proc. of the Ershov Informatics Conference 2011, LNCS 7162: 270-284, 2012
| Originalsprog | Engelsk |
|---|---|
| Titel | Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers |
| Vol/bind | 7162 |
| Udgivelsessted | Berlin |
| Udgiver | Springer |
| Udgivelsesdato | 2012 |
| Sider | 274-288 |
| ISBN (trykt) | 978-3-642-29708-3 |
| ISBN (elektronisk) | 978-3-642-29709-0 |
| DOI | |
| Status | Udgivet |
Konference
| Konference | 8th International Andrei Ershov Memorial Conference, PSI 2011 |
|---|---|
| Nummer | 8 |
| Land | Rusland |
| By | Novosibirsk |
| Periode | 27-06-11 → 01-07-11 |
| Navn | Lecture Notes in Computer Science |
|---|---|
| Vol/bind | 7162 |
| ISSN (Trykt) | 0302-9743 |
Indlæser lokationer...
ID: 74409158