> 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: A new algorithm for discrete timed symbolic model checking Beteiligte: Kropf, Thomas [VerfasserIn]; Ruf, Jürgen [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.