๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE Comput. Soc Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 - Cividale del Friuli, Italy (14-16 June 2001)] Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 - Modelling, specifying, and verifying message passing systems

โœ Scribed by Bollig, B.; Leucker, M.


Book ID
118211131
Publisher
IEEE Comput. Soc
Year
2001
Weight
739 KB
Volume
0
Category
Article
ISBN-13
9780769511078

No coin nor oath required. For personal study only.