Media type: E-Article; E-Article; Text Title: A new algorithm for discrete timed symbolic model checking Contributor: Kropf, Thomas [Author]; Ruf, Jürgen [Author] Published: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Language: English Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.