Si Liu 0003, Peter Csaba Ölveczky, Qi Wang 0017, José Meseguer
Formal Modeling and Analysis of the Walter Transactional Data Store
WRLA, 2018.
@inproceedings{WRLA-2018-LiuOWM,
author = "Si Liu 0003 and Peter Csaba Ölveczky and Qi Wang 0017 and José Meseguer",
booktitle = "{WRLA@ETAPS}",
doi = "10.1007/978-3-319-99840-4_8",
isbn = "['978-3-319-99839-8', '978-3-319-99840-4']",
pages = "136--152",
publisher = "{Springer}",
title = "{Formal Modeling and Analysis of the Walter Transactional Data Store}",
year = 2018,
}
