DMCA

Model checking communicating processes: Run graphs, graph grammars, and mso

by Alexander Heußner , Andrew Fish , Leen Lambers , Tiziana Margaria , Julia Padberg , Gabriele Taentzer , Alexander Heußner , Universite Libre , Bruxelles Belgium
Venue:ECEASST
Citations:2 - 0 self