Options
On Parallel Software Verification Using Boolean Equation Systems
Ditter, Alexander; Češka, Milan; Lüttgen, Gerald; Donaldson, Alastair (Hrsg.) (2012): „On Parallel Software Verification Using Boolean Equation Systems“. Berlin [u.a.]: Springer doi: 10.1007/978-3-642-31759-0_8.
Faculty/Professorship:
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:
Lecture Notes in Computer Science ; 7385
Language:
English
Type:
Conferenceobject
published:
February 14, 2013
Permalink
https://fis.uni-bamberg.de/handle/uniba/858