Polyhedral Analysis for Synchronous Languages

Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin. Polyhedral Analysis for Synchronous Languages. In Agostino Cortesi, Gilberto Filé, editors, Static Analysis, 6th International Symposium, SAS 99, Venice, Italy, September 22-24, 1999, Proceedings. Volume 1694 of Lecture Notes in Computer Science, pages 51-68, Springer, 1999. [doi]

Authors

Frédéric Besson

This author has not been identified. Look up 'Frédéric Besson' in Google

Thomas P. Jensen

This author has not been identified. Look up 'Thomas P. Jensen' in Google

Jean-Pierre Talpin

This author has not been identified. Look up 'Jean-Pierre Talpin' in Google