Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[3]
Hilfe
Suche: Author="Schnoebelen, P."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On termination for faulty channel machines
Patricia Bouyer
,
Nicolas Markey
,
Joël Ouaknine
,
P. Schnoebelen
,
James Worrell
Leibniz International Proceedings in Informatics (LIPIcs)
1
, 2008, pp. 121-132
A parametric analysis of the state explosion problem in model checking
S. Demri
,
F. Laroussinie
,
P. Schnoebelen
Lecture Notes in Computer Science
2285
, 2002, pp. 620-631