[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- A Udaya Shankar
- An Introduction to Assertional Reasoning for Concurrent Systems
- ACM Computer Surveys V24n3(Sep 1993)pp225-262
- =Tutorial concurrency fairness safety non-sequential temporal logic
- Prereq for LamShankar94 & Jonsson94...
- refers to Lamport, UNITY, Mana et al
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]