• Published

  Duration Calculus: A Formal Approach to Real-Time Systems

  Publication: Research - peer-review › Book – Annual report year: 2004

• Published

  Finite Divergence

  Publication: Research - peer-review › Journal article – Annual report year: 1995

• Published

  Semantics and Completeness of Duration Calculus

  Publication: Research - peer-review › Article in proceedings – Annual report year: 1992

View all »

• Springer, 0-387

  Central database

  Publisher

• Springer-Verlag

  Local database

  Publisher

• IEEE, 0-7803

  Central database

  Publisher

• Theoretical Computer Science

  ISSNs: 0304-3975, 03043975

  Elsevier BV, Netherlands

  FI (2012): 2, ISI indexed (2012): yes

  Central database

  Journal