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

[IEEE Comput. Soc 1998 International Conference on Application of Concurrency to System Design - Fukushima, Japan (23-26 March 1998)] Proceedings 1998 International Conference on Application of Concurrency to System Design - Combining structural and symbolic methods for the verification of concurrent systems

โœ Scribed by Cortadella, J.


Book ID
126642892
Publisher
IEEE Comput. Soc
Year
1998
Weight
160 KB
Category
Article
ISBN-13
9780818683503

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[IEEE Comput. Soc International Conferen