Michal Knapik, Wojciech Penczek. SMT-based parameter synthesis for L/U automata. In Lawrence Cabac, Michael Duvigneau, Daniel Moldt, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012. Volume 851 of CEUR Workshop Proceedings, pages 77-92, CEUR-WS.org, 2012. [doi]
Abstract is missing.