On Parallel Software Verification Using Boolean Equation Systems
Ditter, Alexander; Češka, Milan; Lüttgen, Gerald (2012): On Parallel Software Verification Using Boolean Equation Systems, in: Alastair Donaldson (Hrsg.), Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23 - 24, 2012 ; proceedings, Berlin [u.a.]: Springer, S. 80–97, doi: 10.1007/978-3-642-31759-0_8.
Faculty/Chair:
Author:
 ;  ; 
Editor:
Title of the compilation:
Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23 - 24, 2012 ; proceedings
Publisher Information:
Year of publication:
2012
Pages:
ISBN:
978-3-642-31758-3
Series ; Volume:
Lecture Notes in Computer Science ; 7385
Language:
English
DOI:
URL:
Type:
Conferenceobject
URI:
Activation date:
February 14, 2013

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/858