1985
Logics and models of concurrent systems
Publication
Publication
Additional Metadata | |
---|---|
Springer-Verlag | |
K.R. Apt (Krzysztof) | |
NATO ASI series. Serie F: computer and systems sciences | |
Apt, K. (Ed.). (1985). Logics and models of concurrent systems. (K. Apt, Ed.)NATO ASI series. Serie F: computer and systems sciences. Springer-Verlag. |
See Also |
---|