> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel; E-Artikel; Sonstige Veröffentlichung Titel: Symbolic model checking of real-time systems Beteiligte: Logothetis, Georgios [VerfasserIn]; Schneider, Klaus [VerfasserIn] Erschienen: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Sprache: Englisch Schlagwörter: DATA processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.