Model-Checking One-Clock Priced Timed Automata

Patricia Bouyer, Kim Guldstrand Larsen, N. Markey

Research output: Contribution to journalConference article in JournalResearchpeer-review

24 Citations (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)108-122
Number of pages14
ISSN0302-9743
DOIs
Publication statusPublished - 2007
EventTenth International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FoSSacs 2007 - Braga, Portugal
Duration: 24 Mar 20071 Apr 2007
Conference number: 10

Conference

ConferenceTenth International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FoSSacs 2007
Number10
Country/TerritoryPortugal
CityBraga
Period24/03/200701/04/2007

Cite this