- Tytuł:
- Completeness of Timed uCRL
- Autorzy:
-
Reniers, M.A.
Groote, J.F.
van der Zwaag, M.B.
van Wamel, J. - Data publikacji:
- 2002
- Słowa kluczowe:
-
real-time system
process algebras
completeness
micro Common Representation Language - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł