Jean-Pierre Krimm, Laurent Mounier. Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. In Proceedings of TACAS'00, Pages 266-282, 2000.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@InProceedings{Krimm-Mounier-00,
Author = {Krimm, Jean-Pierre and Mounier, Laurent},
Title = {Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems},
BookTitle = {Proceedings of TACAS'00},
Pages = {266--282},
Year = {2000}
}
Get EndNote Reference (.ref)