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
[1]
Hilfe
Suche: Author="Varpaaniemi, Kimmo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Modelling and analysing the SDL description of the ISDN-DSS1 protocol
Nisse Husberg
,
Teemu Tynjälä
,
Kimmo Varpaaniemi
Lecture Notes in Computer Science
1825
, 2000, pp. 244-260
On stubborn sets in the verification of linear time temporal properties
Kimmo Varpaaniemi
Lecture Notes in Computer Science
1420
, 1998, pp. 124-143
On-the-fly verification with PROD
Kimmo Varpaaniemi
Workshop über Algorithmen und Werkzeuge für Petrinetze (Berlin, Germany, October 10-11, 1994)
309
, 1994, pp. 80-83
On combining the stubborn set method with the sleep set method
Kimmo Varpaaniemi
Lecture Notes in Computer Science
815
, 1994, pp. 548-567
The stubborn set method in practice
Kimmo Varpaaniemi
,
Marko Rauhamaa
Lecture Notes in Computer Science
616
, 1992, pp. 389-393