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 proceedingKonferenceartikel i proceedingForskningpeer review

15 Citationer (Scopus)
OriginalsprogEngelsk
TitelRuntime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
RedaktørerShaz Qadeer, Serdar Tasiran
Antal sider15
ForlagSpringer Publishing Company
Publikationsdato2013
Sider260-275
ISBN (Trykt)978-3-642-35631-5
ISBN (Elektronisk)978-3-642-35632-2
DOI
StatusUdgivet - 2013
BegivenhedRuntime Verification 2012: Third International Conference on Runtime Verification RV 2012 - Istanbul, Tyrkiet
Varighed: 25 sep. 201228 sep. 2012
Konferencens nummer: 3

Konference

KonferenceRuntime Verification 2012
Nummer3
LandTyrkiet
ByIstanbul
Periode25/09/201228/09/2012
NavnLecture Notes in Computer Science
Vol/bind7687
ISSN0302-9743

Citationsformater