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
|