Rewrite-Based Statistical Model Checking of WMTL

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

22 Citations (Scopus)
Original languageEnglish
Title of host publicationRuntime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
EditorsShaz Qadeer, Serdar Tasiran
Number of pages15
PublisherSpringer Publishing Company
Publication date2013
Pages260-275
ISBN (Print)978-3-642-35631-5
ISBN (Electronic)978-3-642-35632-2
DOIs
Publication statusPublished - 2013
EventRuntime Verification 2012: Third International Conference on Runtime Verification RV 2012 - Istanbul, Turkey
Duration: 25 Sept 201228 Sept 2012
Conference number: 3

Conference

ConferenceRuntime Verification 2012
Number3
Country/TerritoryTurkey
CityIstanbul
Period25/09/201228/09/2012
SeriesLecture Notes in Computer Science
Volume7687
ISSN0302-9743

Cite this