Rewrite-Based Statistical Model Checking of WMTL

Petr Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Guangyuan  Li; Danny Bøgsted Poulsen

doi:10.1007/978-3-642-35632-2_25

Rewrite-Based Statistical Model Checking of WMTL

Petr Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

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

22 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Redaktører	Shaz Qadeer, Serdar Tasiran
Antal sider	15
Forlag	Springer Publishing Company
Publikationsdato	2013
Sider	260-275
ISBN (Trykt)	978-3-642-35631-5
ISBN (Elektronisk)	978-3-642-35632-2
DOI	https://doi.org/10.1007/978-3-642-35632-2_25
Status	Udgivet - 2013
Begivenhed	Runtime Verification 2012: Third International Conference on Runtime Verification RV 2012 - Istanbul, Tyrkiet Varighed: 25 sep. 2012 → 28 sep. 2012 Konferencens nummer: 3

Konference

Konference	Runtime Verification 2012
Nummer	3
Land/Område	Tyrkiet
By	Istanbul
Periode	25/09/2012 → 28/09/2012

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

Adgang til dokumentet

10.1007/978-3-642-35632-2_25

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Bulychev, P., David, A., Larsen, K. G., Legay, A., Li, G., & Poulsen, D. B. (2013). Rewrite-Based Statistical Model Checking of WMTL. I S. Qadeer, & S. Tasiran (red.), Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (s. 260-275). Springer Publishing Company. https://doi.org/10.1007/978-3-642-35632-2_25

Bulychev, Petr ; David, Alexandre ; Larsen, Kim Guldstrand et al. / Rewrite-Based Statistical Model Checking of WMTL. Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. red. / Shaz Qadeer ; Serdar Tasiran. Springer Publishing Company, 2013. s. 260-275 (Lecture Notes in Computer Science, Bind 7687).

@inproceedings{896e151a1bce4058a528828b1bf42776,

title = "Rewrite-Based Statistical Model Checking of WMTL",

author = "Petr Bulychev and Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Guangyuan Li and Poulsen, {Danny B{\o}gsted}",

year = "2013",

doi = "10.1007/978-3-642-35632-2_25",

language = "English",

isbn = "978-3-642-35631-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "260--275",

editor = "Shaz Qadeer and Serdar Tasiran",

booktitle = "Runtime Verification",

address = "United States",

note = "Runtime Verification 2012 ; Conference date: 25-09-2012 Through 28-09-2012",

}

Bulychev, P, David, A, Larsen, KG, Legay, A, Li, G & Poulsen, DB 2013, Rewrite-Based Statistical Model Checking of WMTL. i S Qadeer & S Tasiran (red), Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Springer Publishing Company, Lecture Notes in Computer Science, bind 7687, s. 260-275, Runtime Verification 2012, Istanbul, Tyrkiet, 25/09/2012. https://doi.org/10.1007/978-3-642-35632-2_25

Rewrite-Based Statistical Model Checking of WMTL. / Bulychev, Petr; David, Alexandre; Larsen, Kim Guldstrand et al.
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. red. / Shaz Qadeer; Serdar Tasiran. Springer Publishing Company, 2013. s. 260-275 (Lecture Notes in Computer Science, Bind 7687).

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

TY - GEN

T1 - Rewrite-Based Statistical Model Checking of WMTL

AU - Bulychev, Petr

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Li, Guangyuan

AU - Poulsen, Danny Bøgsted

N1 - Conference code: 3

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-35632-2_25

DO - 10.1007/978-3-642-35632-2_25

M3 - Article in proceeding

SN - 978-3-642-35631-5

T3 - Lecture Notes in Computer Science

SP - 260

EP - 275

BT - Runtime Verification

A2 - Qadeer, Shaz

A2 - Tasiran, Serdar

PB - Springer Publishing Company

T2 - Runtime Verification 2012

Y2 - 25 September 2012 through 28 September 2012

ER -

Bulychev P, David A, Larsen KG, Legay A, Li G, Poulsen DB. Rewrite-Based Statistical Model Checking of WMTL. I Qadeer S, Tasiran S, red., Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Springer Publishing Company. 2013. s. 260-275. (Lecture Notes in Computer Science, Bind 7687). doi: 10.1007/978-3-642-35632-2_25