Peter Gorm Larsen

Model checking CML : tool development and industrial applications

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

    A. Mota, Federal University of Pernambuco, BrazilA. Farias, Federal University of Campina Grande, BrazilJ. Woodcock, York University, United Kingdom
  • Peter Gorm Larsen
Original languageEnglish
JournalFormal Aspects of Computing
Pages (from-to)1-27
ISSN0934-5043
DOIs
StatePublished - 7 Sep 2015

See relations at Aarhus University Citationformats

ID: 93136524