Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak. Towards Formal Specification and Verification in Cyberspace. In James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey, editors, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Volume 1871 of Lecture Notes in Computer Science, pages 16-32, Springer, 2000. [doi]
@inproceedings{AmbroszkiewiczPN00,
title = {Towards Formal Specification and Verification in Cyberspace},
author = {Stanislaw Ambroszkiewicz and Wojciech Penczek and Tomasz Nowak},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1871/18710016.htm},
researchr = {https://researchr.org/publication/AmbroszkiewiczPN00},
cites = {0},
citedby = {0},
pages = {16-32},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
editor = {James L. Rash and Christopher Rouff and Walt Truszkowski and Diana F. Gordon and Michael G. Hinchey},
volume = {1871},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42716-3},
}