Model checking CML: tool development and industrial applications
Crossref DOI link: https://doi.org/10.1007/s00165-015-0342-2
Published Print: 2015-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mota, A.
Farias, A.
Woodcock, J.
Larsen, P. G.
Funding for this research was provided by:
EU Framework 7 Integrated Project (COMPASS) (287829)
National Institute of Science and Technology for Software Engineering (INES) (573964/2008-4)
Text and Data Mining valid from 2015-11-01