The Fixpoint-Analysis Machine (1995)
by
Bernhard Steffen
,
Andreas Claßen
,
Marion Klein
,
Jens Knoop
,
Tiziana Margaria
| Venue: | Proc. CONCUR'95, volume 962 of Lecture Notes in Computer Science |
| Citations: | 14 - 2 self |
Document Versions
| The Fixpoint-Analysis Machine –Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria — 1995 — Proc. CONCUR'95, volume 962 of Lecture Notes in Computer Science |
