Unfolding Synthesis of Asynchronous Automata

by Nicolas Baudru , Rémi Morin
Venue:International Computer Science Symposium in Russia, CSR 2006. Available at http://www.cmi.univ-mrs.fr/˜morin/papers/CSR.pdf
Citations:3 - 0 self