Back to Search Start Over

Modal abstractions in $ \mu $ CRL

Authors :
Pol, Jaco
Espada, M.V.
Specification and Analysis of Embedded Systems
Publication Year :
2004
Publisher :
Springer, 2004.

Details

Database :
OpenAIRE
Accession number :
edsair.dedup.wf.001..4796d3460a40c4531763edb8423fe26a

Tools

Authors Abstract Subjects Details