Verification of Concurrent Programs: The Automata-Theoretic Framework (1987)

Cached

Download Links

by Moshe Y. Vardi
Venue:Annals of Pure and Applied Logic
Citations:47 - 3 self