"Cooperation of SMV and Jeda for the property checking of mixed control and ..."

Jianzhou Zhao, Jinian Bian, Weimin Wu (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics