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
Hilfe
Suche: Author="Hungar, Hardi"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Model checking and higher-order recursion
Hardi Hungar
Lecture Notes in Computer Science
1672
, 1999, pp. 149-159
First-order-CTL model checking
Jürgen Bohn
,
Werner Damm
,
Orna Grumberg
,
Hardi Hungar
,
Karen Laster
Lecture Notes in Computer Science
1530
, 1998, pp. 283-294
Local model checking for parallel compositions of context-free processes
Hardi Hungar
Lecture Notes in Computer Science
836
, 1994, pp. 114-128
Local model checking for context-free processes
Hardi Hungar
,
Bernhard Steffen
Lecture Notes in Computer Science
700
, 1993, pp. 593-605
The complexity of verifying functional programs
Hardi Hungar
Lecture Notes in Computer Science
665
, 1993, pp. 428-439
Correctness of programs over poor signatures
Hardi Hungar
Lecture Notes in Computer Science
560
, 1991, pp. 109-120