Showing 1 - 3 results of 3 for search 'Ravn A', query time: 0.02s Refine Results
  1. 1
    A Calculus of Durations

    A Calculus of Durations by Chaochen, Z, Hoare, C, Ravn, A

    Published 1991
    Journal article
  2. 2
    A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694

    A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694 by Bowen, J, Hoare, C, Langmaack, H, Olderog, E, Ravn, A

    Published 2015
    Record
  3. 3
    Provably Correct Systems

    Provably Correct Systems by He, J, Hoare, C, Fränzle, M, Müller−Olm, M, Olderog, E, Schenke, M, Hansen, M, Ravn, A, Rischel, H

    Published 1994
    Conference item

Search Tools: