|
[Wan04]
F. Wang.
Formal verification of timed systems: A survey and perspective.
Proceedings of the IEEE, 92(8), pages 1283-1305.
August 2004.
http://ieeexplore.ieee.org/
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://ieeexplore.ieee.org/
|