Statistical model checking the 2018 edition!

Kim Guldstrand Larsen*, Axel Legay

*Kontaktforfatter

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

OriginalsprogEngelsk
TitelISoLA 2018 : Leveraging Applications of Formal Methods, Verification and Validation. Verification
RedaktørerTiziana Margaria, Bernhard Steffen
Antal sider10
ForlagSpringer
Publikationsdato1 jan. 2018
Sider261-270
ISBN (Trykt)9783030034207
DOI
StatusUdgivet - 1 jan. 2018
Begivenhed8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cypern
Varighed: 5 nov. 20189 nov. 2018

Konference

Konference8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
LandCypern
ByLimassol
Periode05/11/201809/11/2018
NavnLecture Notes in Computer Science
Vol/bind11245 LNCS
ISSN0302-9743

Citer dette

Guldstrand Larsen, K., & Legay, A. (2018). Statistical model checking the 2018 edition! I T. Margaria, & B. Steffen (red.), ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification (s. 261-270). Springer. Lecture Notes in Computer Science, Bind. 11245 LNCS https://doi.org/10.1007/978-3-030-03421-4_17
Guldstrand Larsen, Kim ; Legay, Axel. / Statistical model checking the 2018 edition!. ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. red. / Tiziana Margaria ; Bernhard Steffen. Springer, 2018. s. 261-270 (Lecture Notes in Computer Science, Bind 11245 LNCS).
@inproceedings{3f42afeb085742a8980870fe4a29cd0d,
title = "Statistical model checking the 2018 edition!",
author = "{Guldstrand Larsen}, Kim and Axel Legay",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-030-03421-4_17",
language = "English",
isbn = "9783030034207",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "261--270",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "ISoLA 2018",
address = "Germany",

}

Guldstrand Larsen, K & Legay, A 2018, Statistical model checking the 2018 edition! i T Margaria & B Steffen (red), ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Springer, Lecture Notes in Computer Science, bind 11245 LNCS, s. 261-270, 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, Limassol, Cypern, 05/11/2018. https://doi.org/10.1007/978-3-030-03421-4_17

Statistical model checking the 2018 edition! / Guldstrand Larsen, Kim; Legay, Axel.

ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. red. / Tiziana Margaria; Bernhard Steffen. Springer, 2018. s. 261-270 (Lecture Notes in Computer Science, Bind 11245 LNCS).

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

TY - GEN

T1 - Statistical model checking the 2018 edition!

AU - Guldstrand Larsen, Kim

AU - Legay, Axel

PY - 2018/1/1

Y1 - 2018/1/1

UR - http://www.scopus.com/inward/record.url?scp=85056481888&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-03421-4_17

DO - 10.1007/978-3-030-03421-4_17

M3 - Article in proceeding

AN - SCOPUS:85056481888

SN - 9783030034207

T3 - Lecture Notes in Computer Science

SP - 261

EP - 270

BT - ISoLA 2018

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

ER -

Guldstrand Larsen K, Legay A. Statistical model checking the 2018 edition! I Margaria T, Steffen B, red., ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Springer. 2018. s. 261-270. (Lecture Notes in Computer Science, Bind 11245 LNCS). https://doi.org/10.1007/978-3-030-03421-4_17