Lower-Bound Constrained Runs in Weighted Timed Automata

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

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