Do Agents Make Model Checking Explode (Computationally)?

Cite this paper

@inproceedings{Jamroga2005DoAM, title={Do Agents Make Model Checking Explode (Computationally)?}, author={Wojciech Jamroga and J{\"{u}rgen Dix}, booktitle={CEEMAS}, year={2005} }