John Bulles, Ralph Mak, Diederik Dulfer. Proof of Concept on Time Travelling and Assertions Generating an Assertions Administration Using FBM. In Christophe Debruyne, Hervé Panetto, Wided Guédria, Peter Bollen, Ioana Ciuciu, Robert Meersman, editors, On the Move to Meaningful Internet Systems: OTM 2018 Workshops - Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22-26, 2018, Revised Selected Papers. Volume 11231 of Lecture Notes in Computer Science, pages 67-76, Springer, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.