학술논문
TPAP: An algebra of preemptive processes for verifying real-time systems with shared resources
Document Type
Conference Paper
Author
Source
In: Electronic Notes in Theoretical Computer Science , Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002). (Electronic Notes in Theoretical Computer Science, June 2002, 65(6):68-85)
Subject
Language
English
ISSN
15710661