Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
1998
Dierks, H. and Fehnker, A. and Mader, A.H. and Vaandrager, F.W.
(1998)
Operational and logical semantics for polling real-time systems.
In: 7th Int. Symp. on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), Lyngby, Denmark.
pp. 29-40.
Springer-Verlag.
ISBN 3-540-65003-2
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||