Experts has a new look! Let us know what you think of the updates.

Provide feedback
Home
Scholarly Works
Decision Problems for Parametric Timed Automata.
Conference

Decision Problems for Parametric Timed Automata.

Authors

André É; Lime D; Roux OH

Editors

Ogata K; Lawford M; Liu S

Series

Lecture Notes in Computer Science

Volume

10009

Pagination

pp. 400-416

Publication Date

2016

ISBN-13

978-3-319-47845-6

Conference proceedings

ICFEM