
Volume 31, issue 1, February 2019
EXTENDED VERSIONS OF PAPERS PRESENTED AT SETTA 2016 (pp 1 - 58)
6 articles in this issue
-
-
Toward automatic verification of quantum programs
Authors
- Mingsheng Ying
- Content type: Original Article
- Published: 07 August 2018
- Pages: 3 - 25
-
GPU-accelerated steady-state computation of large probabilistic Boolean networks
Authors
- Andrzej Mizera
- Jun Pang
- Qixia Yuan
- Content type: Original Article
- Published: 04 October 2018
- Pages: 27 - 46
-
Extensional Petri net
Authors
- Xiaoju Dong
- Yuxi Fu
- Daniele Varacca
- Content type: Original Article
- Published: 16 November 2018
- Pages: 47 - 58
-
Formal reliability analysis of redundancy architectures
Authors
- Marco Bozzano
- Alessandro Cimatti
- Cristian Mattarei
- Content type: Original Article
- Published: 02 January 2019
- Pages: 59 - 94
-
Automating Event-B invariant proofs by rippling and proof patching
Authors (first, second and last of 4)
- Yuhui Lin
- Alan Bundy
- Ewen Maclean
- Content type: Original Article
- Open Access
- Published: 02 January 2019
- Pages: 95 - 129