%0 Thesis %1 phd/dnb/Schmidt89c %A Schmidt, Heinz W. %D 1989 %I Oldenbourg %K dblp %P 1-206 %T Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets. %@ 978-3-486-21292-1

@phdthesis{phd/dnb/Schmidt89c, added-at = {2021-07-17T00:00:00.000+0200}, author = {Schmidt, Heinz W.}, biburl = {https://www.bibsonomy.org/bibtex/2dcaabd7713aaf561c81faf325bdf2e89/dblp}, ee = {https://d-nb.info/890318611}, interhash = {dccfcf1328957cfd1ada78254b697464}, intrahash = {dcaabd7713aaf561c81faf325bdf2e89}, isbn = {978-3-486-21292-1}, keywords = {dblp}, pages = {1-206}, publisher = {Oldenbourg}, school = {University of Bremen, Germany}, timestamp = {2024-04-09T08:18:54.000+0200}, title = {Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets.}, year = 1989 }