---
_id: '16217'
author:
- first_name: Martin
  full_name: Fränzle, Martin
  last_name: Fränzle
- first_name: Deepak
  full_name: Kapur, Deepak
  last_name: Kapur
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Naijun
  full_name: Zhan, Naijun
  last_name: Zhan
citation:
  ama: Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. <i>Formal Asp Comput</i>.
    2019;31(1):1. doi:<a href="https://doi.org/10.1007/s00165-018-00477-6">10.1007/s00165-018-00477-6</a>
  apa: Fränzle, M., Kapur, D., Wehrheim, H., &#38; Zhan, N. (2019). Editorial. <i>Formal
    Asp. Comput.</i>, <i>31</i>(1), 1. <a href="https://doi.org/10.1007/s00165-018-00477-6">https://doi.org/10.1007/s00165-018-00477-6</a>
  bibtex: '@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31},
    DOI={<a href="https://doi.org/10.1007/s00165-018-00477-6">10.1007/s00165-018-00477-6</a>},
    number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur,
    Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }'
  chicago: 'Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.”
    <i>Formal Asp. Comput.</i> 31, no. 1 (2019): 1. <a href="https://doi.org/10.1007/s00165-018-00477-6">https://doi.org/10.1007/s00165-018-00477-6</a>.'
  ieee: M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” <i>Formal Asp.
    Comput.</i>, vol. 31, no. 1, p. 1, 2019.
  mla: Fränzle, Martin, et al. “Editorial.” <i>Formal Asp. Comput.</i>, vol. 31, no.
    1, 2019, p. 1, doi:<a href="https://doi.org/10.1007/s00165-018-00477-6">10.1007/s00165-018-00477-6</a>.
  short: M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019)
    1.
date_created: 2020-03-03T08:19:35Z
date_updated: 2022-01-06T06:52:45Z
department:
- _id: '34'
- _id: '77'
doi: 10.1007/s00165-018-00477-6
intvolume: '        31'
issue: '1'
language:
- iso: eng
page: '1'
publication: Formal Asp. Comput.
status: public
title: Editorial
type: journal_article
user_id: '29719'
volume: 31
year: '2019'
...