Papers / Computer Science

A logic for reasoning about time and reliability

Hansson, Hans, Jonsson, Bengt·1994·Formal Aspects of Computing
DOI 10.1007/bf01211866

Cited by (1,001)

Items 1,001–1,001 of 1,001

  1. Formal Modelling of Peercoin and Proof-of-Stake Protocols
    Kent Leeding, Steve A. Schneider, Helen Treharne · 2024 · Lecture notes in computer science
Previous1234567891011
Need bulk access to this data? Tell us what you need.