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="Margaria, Tiziana"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Modelling and verification of unbounded length systolic arrays in M2L(Str)
Tiziana Margaria
,
Michael Mendler
,
Claudia Gsottberger
Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
, 1998, pp. 11-25
The fixpoint-analysis machine
Bernhard Steffen
,
Andreas Class̈en
,
Marion Klein
,
Jens Knoop
,
Tiziana Margaria
Lecture Notes in Computer Science
962
, 1995, pp. 72-87