![](/img/cover-not-exists.png)
TPAP: An algebra of preemptive processes for verifying real-time systems with shared resources
Jérôme Ermont, Frédéric BoniolVolume:
65
Year:
2002
Language:
english
Pages:
18
DOI:
10.1016/s1571-0661(04)80470-5
File:
PDF, 215 KB
english, 2002