%0 Journal Article %1 tr/trier/MI96-23 %A Meinel, Christoph %A Theobald, Thorsten %D 1996 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K dblp %T Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines %V 96-23

@article{tr/trier/MI96-23, added-at = {2011-12-29T00:00:00.000+0100}, author = {Meinel, Christoph and Theobald, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/2a1a3846126c97b47a2a66159031fe009/dblp}, interhash = {d24c8d2e55c366df7b94275ac62b2ac4}, intrahash = {a1a3846126c97b47a2a66159031fe009}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, timestamp = {2011-12-30T11:32:10.000+0100}, title = {Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines}, volume = {96-23}, year = 1996 }