Skip to main content
Log in
Formal Aspects of Computing

Applicable Formal Methods

Publishing model:
Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Formal Aspects of Computing articles

Volume 31, Issue 1

February 2019

EXTENDED VERSIONS OF PAPERS PRESENTED AT SETTA 2016 (pp 1 - 58)

6 articles in this issue
  1. Editorial

    • Martin Fränzle
    • Deepak Kapur
    • Naijun Zhan
    Editorial 08 March 2019 Pages: 1 - 1
  2. Extensional Petri net

    • Xiaoju Dong
    • Yuxi Fu
    • Daniele Varacca
    Original Article 16 November 2018 Pages: 47 - 58

Navigation