Statistical model checking past, present, and future (Track Introduction)

Kim G. Larsen*, Axel Legay

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

17 Citationer (Scopus)
OriginalsprogEngelsk
TitelLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Antal sider8
Vol/bind8803
ForlagSpringer
Publikationsdato18 okt. 2014
Sider135-142
ISBN (Trykt)9783662452301
DOI
StatusUdgivet - 18 okt. 2014
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind8803
ISSN0302-9743

Citationsformater