Model Checking Software - Lecture Notes in Computer Science
Latest Publications


TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319234038, 9783319234045

Author(s):  
Adrian Beer ◽  
Stephan Heidinger ◽  
Uwe Kühne ◽  
Florian Leitner-Fischer ◽  
Stefan Leue

Author(s):  
Aleksandar S. Dimovski ◽  
Ahmad Salim Al-Sibahi ◽  
Claus Brabrand ◽  
Andrzej Wąsowski

Author(s):  
Nils Timm ◽  
Stefan Gruner ◽  
Prince Sibanda
Keyword(s):  

Author(s):  
Ana Rosario Espada ◽  
María del Mar Gallardo ◽  
Alberto Salmerón ◽  
Pedro Merino

Author(s):  
Dirk Beyer ◽  
Stefan Löwe ◽  
Philipp Wendler

Sign in / Sign up

Export Citation Format

Share Document