Books
see page history

Bibliography

  1. (2004)

    Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)

See complete bibliography (1)

Personal edit