Concurrent Kripke Structures (1993)

by Vineet Gupta
Venue:In Proceedings of the North American Process Algebra Workshop, Cornell CS-TR-93-1369
Citations:10 - 0 self