Abstract
R. Mardare, C. Priami. Decidable extensions of Hennessy-Milner Logic. In Proc. of the International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006), Lecture Notes in Computer Science 4229:196-211, Springer, 2006
Originalsprog | Engelsk |
---|---|
Bogserie | Lecture Notes in Computer Science |
Vol/bind | 4229 |
Sider (fra-til) | 196 |
Antal sider | 211 |
ISSN | 0302-9743 |
Status | Udgivet - 2006 |