@inproceedings{KM00,
title = {Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems },
author = {Krimm, Jean-Pierre and Mounier, Laurent},
year = {2000},
booktitle = {Proceedings of TACAS'00},
pages = {266--282},
team = {DCS,PACSS},
}
