Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2011
Soleimanifard, S. and Gurov, D. and Huisman, M.
(2011)
ProMoVer: Modular Verification of Temporal Safety Properties.
In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 14-18 Nov 2011, Montevideo, Uruguay.
pp. 366-381.
Lecture Notes in Computer Science 7041.
Springer Verlag.
ISBN 978-3-642-24690-6
This list was generated on Thu May 24 07:40:52 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||