TY  - RPRT
TI  - From model checking to a temporal proof for partial models: preliminary example
AU  - A. Bernasconi
AU  - C. Menghi
AU  - P. Spoletini
AU  - L. D. Zuck
AU  - C. Ghezzi
PY  - 2017
UR  - https://arxiv.org/abs/1706.02701
ID  - 1706.02701
ER  -