Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: auRef=131785931
im Bestand: Gesamter Bestand

1 - 10 von 10

	1	Combining Theorem Proving and Model Checking for Verification of Concurrent Systems Dunets, Andriy. - Augsburg : Universität Augsburg, 2009
	2	Interactive Verification of Concurrent Systems using Symbolic Execution Balser, Michael. - Augsburg : Universität Augsburg, 2008
	3	Asbru in KIV v2.1 – A Tutorial Schmitt, Jonathan. - Augsburg : Universität Augsburg, 2007
	4	Interactive Verification of Statecharts Thums, Andreas. - Augsburg : Universität Augsburg, 2007
	5	Interactive verification of medical guidelines Schmitt, Jonathan. - Augsburg : Universität Augsburg, 2006
	6	Support for Interactive Verification of Asbru in KIV Schmitt, Jonathan. - Augsburg : Universität Augsburg, 2006
	7	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	8	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	9	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	10	Interactive verification of UML state machines Balser, Michael. - Augsburg : Universität Augsburg, 2004

1 - 10 von 10

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (3)

Alle Standorte

Aktionen