Incremental Language Inclusion Checking for Networks of vTimed Automata

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013
Publisher	Springer
Pages	152-167
Number of pages	16
ISBN (Print)	978-3-642-40228-9
Publication status	Published - 2013
Event	FORMATS 2013 - Duration: 29 Aug 2013 → 31 Aug 2013

Conference	FORMATS 2013
Period	29/08/13 → 31/08/13

Research Field

@inproceedings{e0cfd82fe5284e41a2db274e0a14836b,

title = "Incremental Language Inclusion Checking for Networks of vTimed Automata",

author = "Willibald Krenn and Dejan Nickovic and Loredana Tec",

year = "2013",

language = "English",

isbn = "978-3-642-40228-9",

pages = "152--167",

booktitle = "Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013",

publisher = "Springer",

address = "Germany",

note = "FORMATS 2013 ; Conference date: 29-08-2013 Through 31-08-2013",

}

Incremental Language Inclusion Checking for Networks of vTimed Automata. / Krenn, Willibald (Speaker); Nickovic, Dejan; Tec, Loredana.
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013. Springer, 2013. p. 152-167.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

T1 - Incremental Language Inclusion Checking for Networks of vTimed Automata

AU - Nickovic, Dejan

AU - Tec, Loredana

A2 - Krenn, Willibald

PY - 2013

Y1 - 2013

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-642-40228-9

SP - 152

EP - 167

BT - Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013

PB - Springer

T2 - FORMATS 2013

Y2 - 29 August 2013 through 31 August 2013

ER -