Foundations of Timed Concurrent Constraint Programming (1994)

by Vijay A. Saraswat , Radha Jagadeesan , Vineet Gupta
Venue:Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science
Citations:87 - 10 self