e GI: Publications


Publications

Author:Huhn, Michaela and Niebert, Peter and Wallner, Frank
Title:Model Checking Gossip Modalities.
Year:1998
Number:21/98
Institution:Interner Bericht der Fakultät für Informatik der Universität Karlsruhe
BibTeX-Code:
@techreport{HNW98c,
author={Huhn, Michaela and Niebert, Peter and Wallner, Frank},
title={Model Checking Gossip Modalities.},
year={1998},
number={21/98},
institution={Interner Bericht der Fakultät für Informatik der Universität Karlsruhe},
}


Back to summary
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2020