Statistical model checking the 2018 edition!

Kim Guldstrand Larsen; Axel Legay

doi:10.1007/978-3-030-03421-4_17

Statistical model checking the 2018 edition!

^*Kontaktforfatter

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

Originalsprog	Engelsk
Titel	ISoLA 2018 : Leveraging Applications of Formal Methods, Verification and Validation. Verification
Redaktører	Tiziana Margaria, Bernhard Steffen
Antal sider	10
Forlag	Springer
Publikationsdato	1 jan. 2018
Sider	261-270
ISBN (Trykt)	9783030034207
DOI	https://doi.org/10.1007/978-3-030-03421-4_17
Status	Udgivet - 1 jan. 2018
Begivenhed	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cypern Varighed: 5 nov. 2018 → 9 nov. 2018

Konference

Konference	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
Land	Cypern
By	Limassol
Periode	05/11/2018 → 09/11/2018

Navn	Lecture Notes in Computer Science
Vol/bind	11245 LNCS
ISSN	0302-9743

Adgang til dokumentet

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

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

Citationsformater

@inproceedings{3f42afeb085742a8980870fe4a29cd0d,

title = "Statistical model checking the 2018 edition!",

author = "{Guldstrand Larsen}, Kim and Axel Legay",

year = "2018",

month = jan,

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",

note = "8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",

}

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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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

T2 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

Y2 - 5 November 2018 through 9 November 2018

ER -