-
1
Verification of infinite-state systems with applications to security
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
2
Verification of infinite-state systems with applications to security
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook