%0 Thesis %1 phd/dnb/Grosse97 %A Große, Gerd %D 1997 %I Shaker %K dblp %P 1-148 %T State event logic. %@ 3-8265-2452-7

@phdthesis{phd/dnb/Grosse97, added-at = {2021-07-17T00:00:00.000+0200}, author = {Große, Gerd}, biburl = {https://www.bibsonomy.org/bibtex/2d68c398706ecc220c386526aef12bd1a/dblp}, ee = {https://d-nb.info/950238635}, interhash = {5a96d06c6cd1b7ca6f3c1c3a55e22d74}, intrahash = {d68c398706ecc220c386526aef12bd1a}, isbn = {3-8265-2452-7}, keywords = {dblp}, pages = {1-148}, publisher = {Shaker}, school = {Darmstadt University of Technology}, timestamp = {2024-04-09T08:28:42.000+0200}, title = {State event logic.}, year = 1997 }