2004
Modal abstractions in $ \mu $ CRL
Publication
Publication
Presented at the
International Workshop on Parallel and Distributed Methods in Verification
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Workshop on Parallel and Distributed Methods in Verification | |
| Organisation | Specification and Analysis of Embedded Systems |
|
van de Pol, J., & Espada, M. V. (2004). Modal abstractions in $ \mu $ CRL. In Proceedings of International Conference on Algebraic Methodolody and Software Technology 2004 (pp. 409–425). Springer. |
|
| See Also |
|---|
techReport
|
techReport
|
techReport
|
techReport
|