%0 Thesis %1 phd/dnb/Malik98 %A Malik, Robi %D 1998 %I Shaker %K dblp %P 1-220 %T Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen. %@ 978-3-8265-3383-9

@phdthesis{phd/dnb/Malik98, added-at = {2021-07-17T00:00:00.000+0200}, author = {Malik, Robi}, biburl = {https://www.bibsonomy.org/bibtex/27afa8395a65795fa2e6ba5d5d430ebb2/dblp}, ee = {https://d-nb.info/952678381}, interhash = {230c2ba7d8eed5ef523aace6270bebf2}, intrahash = {7afa8395a65795fa2e6ba5d5d430ebb2}, isbn = {978-3-8265-3383-9}, keywords = {dblp}, pages = {1-220}, publisher = {Shaker}, school = {Kaiserslautern University of Technology, Germany}, timestamp = {2024-04-09T08:33:39.000+0200}, title = {Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen.}, year = 1998 }