http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Efficient CTMC Model Checking of Linear Real-Time Objectives

Barbot, Benoit ; Chen, Taolue ; Han, Tingting ; Katoen, Joost-Pieter ; Mereacre, Alexandru

In
Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings / Parosh Aziz Abdulla; K. Rustan M. Leino (eds.), Seiten/Artikel-Nr: 128-142

2011

Konferenz/Event:Tools and algorithms for the construction and analysis of systems : 17. international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011 , Saarbrücken , Germany , 2011-03-26 - 2011-04-03

ImpressumBerlin [u.a.] : Springer

Umfang128-142

ISBN3-642-19834-1, 978-3-642-19834-2, 978-3-642-19835-9

ReiheLecture notes in computer science : LNCS ; 6605

Online
DOI: 10.1007/978-3-642-19835-9_12
10.1007/978-3-642-19835-9_12

Einrichtungen

1. Fachgruppe Informatik (120000)
2. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)

Dokumenttyp
Contribution to a conference proceedings/Contribution to a book

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
INSPEC: 12173665
WOS Core Collection: WOS:000301820100012
SCOPUS: SCOPUS:2-s2.0-79953172629
OpenAlex: W2103836778

Interne Identnummern
RWTH-CONV-195526
Datensatz-ID: 124908

Beteiligte Länder
France, Germany