Detecting quasi-equal clocks in timed automata

Marco Muñiz, Bernd Westphal, Andreas Podelski

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)
OriginalsprogEngelsk
TitelFormal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Proceedings
Antal sider15
Publikationsdato28 aug. 2013
Sider198-212
ISBN (Trykt)9783642402289
DOI
StatusUdgivet - 28 aug. 2013
Udgivet eksterntJa
Begivenhed11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013 - Buenos Aires, Argentina
Varighed: 29 aug. 201331 aug. 2013

Konference

Konference11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013
LandArgentina
ByBuenos Aires
Periode29/08/201331/08/2013
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind8053 LNCS
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Detecting quasi-equal clocks in timed automata'. Sammen danner de et unikt fingeraftryk.

Citationsformater