Back to Search Start Over

Compositional reachability analysis of finite-state distributed systems with user-specified constraints

Authors :
Cheung, S. C.
Kramer, J.
Source :
Scopus-Elsevier
Publication Year :
1995
Publisher :
Association for Computing Machinery (ACM), 1995.

Subjects

Subjects :
General Medicine

Details

ISSN :
01635948
Volume :
20
Database :
OpenAIRE
Journal :
ACM SIGSOFT Software Engineering Notes
Accession number :
edsair.doi.dedup.....d070dc36e98237dd6ebb9b4e2afabb20
Full Text :
https://doi.org/10.1145/222132.222149
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details