Trace-basiertes Testen von nebenläufigen reaktiven Systemen

dc.contributor.author	Schatz, Roland
dc.date.accessioned	2020-08-21T08:50:20Z
dc.date.available	2020-08-21T08:50:20Z
dc.date.issued	2014
dc.identifier.isbn	978-3-88579-418-9
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/33809
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2013
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-14
dc.title	Trace-basiertes Testen von nebenläufigen reaktiven Systemen	de
dc.pubPlace	Bonn
mci.reference.pages	221-230