Back to Search
Start Over
Automated state-based analysis of distributed systems.
- Source :
- COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems & Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems; 1990, p522-523, 2p
- Publication Year :
- 1990
Details
- Language :
- English
- ISBNs :
- 9780818620416
- Database :
- Complementary Index
- Journal :
- COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems & Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems
- Publication Type :
- Conference
- Accession number :
- 92555619
- Full Text :
- https://doi.org/10.1109/CMPEUR.1990.113666