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]
No references recorded for this publication.
No citations of this publication recorded.