The Fixpoint-Analysis Machine

Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria. The Fixpoint-Analysis Machine. In Insup Lee, Scott A. Smolka, editors, CONCUR 95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings. Volume 962 of Lecture Notes in Computer Science, pages 72-87, Springer, 1995.

Authors

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google

Andreas Claßen

This author has not been identified. Look up 'Andreas Claßen' in Google

Marion Klein

This author has not been identified. Look up 'Marion Klein' in Google

Jens Knoop

This author has not been identified. It may be one of the following persons: Look up 'Jens Knoop' in Google

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google