Peter Gorm Larsen

Model checking CML : tool development and industrial applications

Research output: Research - peer-reviewJournal article


  • A. Mota
    A. MotaFederal University of PernambucoBrazil
  • A. Farias
    A. FariasFederal University of Campina GrandeBrazil
  • J. Woodcock
    J. WoodcockYork UniversityUnited Kingdom
  • Peter Gorm Larsen
Original languageEnglish
JournalFormal Aspects of Computing
Pages (from-to)1-27
StatePublished - 7 Sep 2015

See relations at Aarhus University Citationformats

ID: 93136524