DanskDTU.dkIndexContactPhone bookInternal PagesDTU Alumni
English > Research > > Publications
Research areas
Algorithms and Logic
Cognitive Systems
Data Analysis
Dynamical Systems
Embedded Systems Engineering
People
Projects
Publications
Research
Teaching
Image Analysis & Computer Graphics
Language-Based Technology
Mathematical Statistics
Scientific Computing
Software Engineering
Research centers
Publications
Title: Efficient model checking for duration calculus
Type: Journal articleJournal article
Participant(s):
Author:  Fränzle, Martin (Cwisno: 14200)
Technical University of Denmark

Author:  Hansen, Michael Reichhardt (Cwisno: 802)
Technical University of Denmark
Email:

Published: in journal: International Journal of Software and Informatics (ISSN: 1673-7288), vol: 3, issue: 2-3, pages: 171-196, 2009
See the publication in DTU Orbit See the publication in DTU Orbit

Top
MatematiktorvetDTU - Building 303BDK-2800 Kgs. LyngbyTel +45 4525 3031EAN 5798000428515
Cookies