e GI: Publications


Publications

Author:Huhn, Michaela and Niebert, Peter and Wehrheim, Heike
Title:Partial order Reductions for Bisimulation Checking.
Year:1998
Number:8/98
Institution:Hildesheimer Informatik-Bericht
BibTeX-Code:
@techreport{HNW98b,
author={Huhn, Michaela and Niebert, Peter and Wehrheim, Heike},
title={Partial order Reductions for Bisimulation Checking.},
year={1998},
number={8/98},
institution={Hildesheimer Informatik-Bericht},
}


Back to summary
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2020