LTSmin: Distributed and Symbolic Reachability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Blom, Jaco van de Pol, Michael Weber 0002. LTSmin: Distributed and Symbolic Reachability. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 354-359, Springer, 2010. [doi]

This author has not been identified. Look up 'Stefan Blom' in GoogleThis author has not been identified. Look up 'Jaco van de Pol' in GoogleThis author has not been identified. Look up 'Michael Weber 0002' in Google

runs on WebDSL