Published in
Springer Verlag, Lecture Notes in Computer Science, p. 1-6
DOI: 10.1007/978-3-642-40885-4_1
Links
Tools
MetiTarski’s Menagerie of Cooperating Systems
Book chapter published in 2013 by
Lawrence C. Paulson
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 