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: Booktitle=Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Verifying determinism of concurrent systems which use unbounded arrays
Ranko Lazić
,
Bill Roscoe
Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
, 1998, pp. 3-9
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 regular viewpoint on PA-processes
D. Lugiez
,
Ph. Schnoebelen
Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
, 1998, pp. 27-43
A string-rewriting characterization of context-free graphs
Hugues Calbrix
,
Teodor Knapik
Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
, 1998, pp. 45-55
Reachability is decidable for ground AC rewrite systems
Richard Mayr
,
Michaël Rusinowitch
Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
, 1998, pp. 57-68
Second-order model checking
Bernhard Steffen
Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
, 1998, pp. 69-69
Proving the bounded retransmission protocol in the
\pi
-calculus
Thérèse Hardin
,
Brahim Mammass
Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
, 1998, pp. 71-83