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

A formal semantics of extended hierarchical state transition matrices using CSP#

โœ Scribed by Yamagata, Yoriyuki; Kong, Weiqiang; Fukuda, Akira; Tang, Nguyen; Ohsaki, Hitoshi; Taguchi, Kenji


Book ID
121624175
Publisher
Springer
Year
2013
Tongue
English
Weight
523 KB
Volume
26
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES