autore : Bengt Jonsson
1
pubblicazione
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