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

Kim G. Larsen; Axel Legay

doi:10.1007/978-3-662-45231-8

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

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

21 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Antal sider	8
Vol/bind	8803
Forlag	Springer
Publikationsdato	18 okt. 2014
Sider	135-142
ISBN (Trykt)	9783662452301
DOI	https://doi.org/10.1007/978-3-662-45231-8
Status	Udgivet - 18 okt. 2014

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	8803
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-662-45231-8

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Larsen, Kim G. ; Legay, Axel. / Statistical model checking past, present, and future (Track Introduction). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bind 8803 Springer, 2014. s. 135-142 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8803).

@inproceedings{4b83a1b3557b4992b424436015097cee,

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

author = "Larsen, {Kim G.} and Axel Legay",

year = "2014",

month = oct,

day = "18",

doi = "10.1007/978-3-662-45231-8",

language = "English",

isbn = "9783662452301",

volume = "8803",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "135--142",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "Germany",

}

Larsen, KG & Legay, A 2014, Statistical model checking past, present, and future (Track Introduction). i Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). bind 8803, Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 8803, s. 135-142. https://doi.org/10.1007/978-3-662-45231-8

Statistical model checking past, present, and future (Track Introduction). / Larsen, Kim G.; Legay, Axel.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bind 8803 Springer, 2014. s. 135-142 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8803).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

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

AU - Larsen, Kim G.

AU - Legay, Axel

PY - 2014/10/18

Y1 - 2014/10/18

U2 - 10.1007/978-3-662-45231-8

DO - 10.1007/978-3-662-45231-8

M3 - Article in proceeding

AN - SCOPUS:84910631129

SN - 9783662452301

VL - 8803

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 135

EP - 142

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer

ER -

Larsen KG, Legay A. Statistical model checking past, present, and future (Track Introduction). I Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bind 8803. Springer. 2014. s. 135-142. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8803). doi: 10.1007/978-3-662-45231-8