%0 Conference Paper %1 conf/sefm/SoethoutSV20 %A Soethout, Tim %A van der Storm, Tijs %A Vinju, Jurgen J. %B SEFM %D 2020 %E Cleophas, Loek %E Massink, Mieke %I Springer %K dblp %P 43-57 %T Automated Validation of State-Based Client-Centric Isolation with TLA+. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2020w.html#SoethoutSV20 %V 12524 %@ 978-3-030-67220-1

@inproceedings{conf/sefm/SoethoutSV20, added-at = {2021-01-26T00:00:00.000+0100}, author = {Soethout, Tim and van der Storm, Tijs and Vinju, Jurgen J.}, biburl = {https://www.bibsonomy.org/bibtex/28ea4b96cdf444894bb92bbff6a0ebc85/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2020w}, editor = {Cleophas, Loek and Massink, Mieke}, ee = {https://doi.org/10.1007/978-3-030-67220-1_4}, interhash = {d31ae2657e3880226aa3d7daa1177da4}, intrahash = {8ea4b96cdf444894bb92bbff6a0ebc85}, isbn = {978-3-030-67220-1}, keywords = {dblp}, pages = {43-57}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:00.000+0200}, title = {Automated Validation of State-Based Client-Centric Isolation with TLA+.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2020w.html#SoethoutSV20}, volume = 12524, year = 2020 }