---
_id: '3172'
author:
- first_name: Tobias
  full_name: Isenberg, Tobias
  last_name: Isenberg
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones.
    In: Merz S, Pang J, eds. <i>Formal Methods and Software Engineering - 16th International
    Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
    November 3-5, 2014. Proceedings</i>. Lecture Notes in Computer Science. ; 2014:203--218.
    doi:<a href="https://doi.org/10.1007/978-3-319-11737-9_14">10.1007/978-3-319-11737-9_14</a>'
  apa: Isenberg, T., &#38; Wehrheim, H. (2014). Timed Automata Verification via {IC3}
    with Zones. In S. Merz &#38; J. Pang (Eds.), <i>Formal Methods and Software Engineering
    - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg,
    Luxembourg, November 3-5, 2014. Proceedings</i> (pp. 203--218). <a href="https://doi.org/10.1007/978-3-319-11737-9_14">https://doi.org/10.1007/978-3-319-11737-9_14</a>
  bibtex: '@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer
    Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={<a href="https://doi.org/10.1007/978-3-319-11737-9_14">10.1007/978-3-319-11737-9_14</a>},
    booktitle={Formal Methods and Software Engineering - 16th International Conference
    on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November
    3-5, 2014. Proceedings}, author={Isenberg, Tobias and Wehrheim, Heike}, editor={Merz,
    Stephan and Pang, JunEditors}, year={2014}, pages={203--218}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via
    {IC3} with Zones.” In <i>Formal Methods and Software Engineering - 16th International
    Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
    November 3-5, 2014. Proceedings</i>, edited by Stephan Merz and Jun Pang, 203--218.
    Lecture Notes in Computer Science, 2014. <a href="https://doi.org/10.1007/978-3-319-11737-9_14">https://doi.org/10.1007/978-3-319-11737-9_14</a>.
  ieee: T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,”
    in <i>Formal Methods and Software Engineering - 16th International Conference
    on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November
    3-5, 2014. Proceedings</i>, 2014, pp. 203--218.
  mla: Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3}
    with Zones.” <i>Formal Methods and Software Engineering - 16th International Conference
    on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November
    3-5, 2014. Proceedings</i>, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218,
    doi:<a href="https://doi.org/10.1007/978-3-319-11737-9_14">10.1007/978-3-319-11737-9_14</a>.
  short: 'T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and
    Software Engineering - 16th International Conference on Formal Engineering Methods,
    {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp.
    203--218.'
date_created: 2018-06-13T08:01:04Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-11737-9_14
editor:
- first_name: Stephan
  full_name: Merz, Stephan
  last_name: Merz
- first_name: Jun
  full_name: Pang, Jun
  last_name: Pang
page: 203--218
publication: Formal Methods and Software Engineering - 16th International Conference
  on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5,
  2014. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Timed Automata Verification via {IC3} with Zones
type: conference
user_id: '29719'
year: '2014'
...