Back to Search
Start Over
Symbolic tools for verification of large scale DEDS.
- Source :
- SMC'98 Conference Proceedings 1998 IEEE International Conference on Systems, Man & Cybernetics (Cat No98CH36218); 1998, Issue 1, p722-722, 1p
- Publication Year :
- 1998
Details
- Language :
- English
- ISBNs :
- 9780780347786
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- SMC'98 Conference Proceedings 1998 IEEE International Conference on Systems, Man & Cybernetics (Cat No98CH36218)
- Publication Type :
- Conference
- Accession number :
- 92352076
- Full Text :
- https://doi.org/10.1109/ICSMC.1998.725499