On Parallel Software Verification Using Boolean Equation Systems






Professorship/Faculty: Software Technologies  
Author(s): Ditter, Alexander ; Češka, Milan; Lüttgen, Gerald  
By: ... ; Češka, Milan; ...
Editors: Donaldson, Alastair
Title of the compilation: Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23 - 24, 2012 ; proceedings
Publisher Information: Berlin [u.a.] : Springer
Year of publication: 2012
Pages: 80-97
Illustrations: Illustrationen, Diagramme
ISBN: 978-3-642-31758-3
Series ; Volume: Lecture Notes in Computer Science ; 7385
Language(s): English
DOI: 10.1007/978-3-642-31759-0_8
URL: http://link.springer.com/content/pdf/10.1007%2F...
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/858
metadata.ubg.intern.opusdatepublished: 14. February 2013