Piotr Dembinski. Semantics of timed concurrent systems. Fundamenta Informaticae, 29:27-50, 1997. IOS Press. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Verifiable Code Generation from Abstract I/O Automata Models for.. - Tauber (2001) (Correct)
No context found.
Piotr Dembinski. Semantics of timed concurrent systems. Fundamenta Informaticae, 29:27-50, 1997. IOS Press.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC