Prasad Prasad Sistla


AuthID: R-00H-A56

Publications Requiring Validation

1
TITLE: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings
AUTHORS: Allen Allen Emerson; Prasad Prasad Sistla;
PUBLISHED: 2000, SOURCE: CAV, VOLUME: 1855
INDEXED IN: DBLP

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service