rivista : Formal Aspects of Computing
1 article
A logic for reasoning about time and reliability (Formal Aspects of Computing, 1994) — Hans Hansson, Bengt Jonsson A logic for reasoning about time and reliability (Formal Aspects of Computing, 1994) — Hans Hansson, Bengt Jonsson