On Combining the Persistent Sets Method with the Covering Steps Graph Method

Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu. On Combining the Persistent Sets Method with the Covering Steps Graph Method. In Doron Peled, Moshe Y. Vardi, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Volume 2529 of Lecture Notes in Computer Science, pages 344-359, Springer, 2002. [doi]

Authors

Pierre-Olivier Ribet

This author has not been identified. Look up 'Pierre-Olivier Ribet' in Google

François Vernadat

This author has not been identified. Look up 'François Vernadat' in Google

Bernard Berthomieu

This author has not been identified. Look up 'Bernard Berthomieu' in Google