A logic for reasoning about time and reliability

   page       BibTeX_logo.png       attach   
copertina della pubblicazione
cover.jpg