Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Tolety Siva Perraju, Garimella Uma, Bandreddi E. Prasad. A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems. In ICTAI. pages 647-653, 1994.