Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Kurshan, R. P., 1943-
1 1991 Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings CAV (Conference) (1990 : Center for Discrete Mathematics and Theoretical Computer Science) Rating: Electronic Resources
2 1994 Computer-aided verification of coordinating processes : the automata-theoretic approach Kurshan, R. P., 1943- author. Princeton, New Jersey : Princeton University Press, [1994] Rating: Electronic Resources
3 2022 Investment industry claims debunked : smart personal finance management for ordinary folks, before and after retirement Kurshan, R. P., 1943- Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings