| Alkassar, E. and Cohen, E. and Hillebrand, M. and Pentchev, H. |
 |
|
BibTeX |
| Modular Specification and Verification of Interprocess Communication. | | In Formal Methods in Computer Aided Design (FMCAD) 2010, | | IEEE, 2010. | | Note: to appear | | | | Cohen, E. and Alkassar, E. and Boyarinov, V. and Dahlweid, M. and Degenbaev, U. and Hillebrand, M. and Langenstein, B. and Leinenbach, D. and Moskal, M. and Obua, S. and Paul, W. and Pentchev, H. and Petrova, E. and Santen, T. and Schirmer, N. and Schmaltz, S. and Schulte, W. and Shadrin, A. and Tobies, S. and Tsyban, A. and Tverdyshev, S. |
|
EE |
BibTeX |
| Invariants, Modularity, and Rights. | | In Amir Pnueli and Irina Virbitskaite and Andrei Voronkov, editors, Perspectives of Systems Informatics (PSI 2009), | | Novosibirsk, Russia | | volume 5947 of Lecture Notes in Computer Science, pages 43--55, Springer, 2009. | | |
|
