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="Gradara, Sara"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
DELFIN
^+
: An efficient deadlock detection tool for CCS processes
Sara Gradara
,
Antonella Santone
,
Maria Luisa Villani
Journal of Computer and System Sciences
72
(8), 2006, pp. 1397-1412
Using heuristic search for finding deadlocks in concurrent systems
Sara Gradara
,
Antonella Santone
,
Maria Luisa Villani
Information and Computation
202
(2), 2005, pp. 191-262