{"controller"=>"catalog", "action"=>"show", "id"=>"233047858"}
  • EN
  • DA

Danish NationalResearch Database

  • Search Publications & Researchers
  • Open Access Indicator
  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the prase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
Need more help? Advanced search tutorial
  • Selected (0)
  • History

Lower-Bound Constrained Runs in Weighted Timed Automata

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Bouyer, Patricia ;
    Close
    ENS, Cachan
  • Larsen, Kim Guldstrand ;
    Close
    Department of Computer Science, The Technical Faculty of IT and Design, Aalborg University
  • Markey, Nicolas
    Close
    ENS, Cachan
DOI:
10.1109/QEST.2012.28
ISBN:
9780769547817, 9781467323468
Type:
Conference paper
Language:
Danish
Published in:
Ninth International Conference on Quantitative Evaluation of Systems, Qest 2012, 2012, p. 128-137
Main Research Area:
Science/technology
Publication Status:
Published
Review type:
Peer Review
Conference:
QESTQuantitative Evaluation of Systems, 2012
Publisher:
IEEE Computer Society Press
Submission year:
2012
Scientific Level:
Scientific
ID:
233047858

Full text access

  • Doi Get publisher edition via DOI resolver
Checking for on-site access...

On-site access

At institution

  • Aalborg university.en

Metrics

Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • Open Access
    • Overview
    • Development
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and privacy policy

Copyright © 1998–2018.

Fivu en