Logical Anaysis of Complex Concurrent Systems : Dynamic-Epistemic Spatial Logics for Process Algebras
Publication: Research - peer-review › Book
LAMBERT Academic Publishing, ISBN 978-3838388984
| Original language | English |
|---|---|
| Publication date | 2010 |
| Publisher | Lambert Academic Publishing |
|---|---|
| ISBN (print) | 9783838388984 |
| State | Published |
ID: 59491079