@inproceedings{ karjoth_generating_1992,
  title = {Generating {Transition} {Graphs} from {LOTOS} {Specifications}},
  booktitle = {Proceedings of the 5th {International} {Conference} on {Formal} {Description} {Techniques} {FORTE}'92 ({Lannion}, {France})},
  publisher = {IFIP},
  author = {Karjoth, Günter},
  editor = {Diaz, Michel and Groz, Roland},
  month = {October},
  year = {1992},
  note = {00008},
  pages = {275--288}
}

{"_id":"DxHKD2zbA6cYcGciy","bibbaseid":"karjoth-generatingtransitiongraphsfromlotosspecifications-1992","downloads":0,"creationDate":"2015-04-22T00:15:36.085Z","title":"Generating Transition Graphs from LOTOS Specifications","author_short":["Karjoth, G."],"year":1992,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"author":["Karjoth, Günter"],"author_short":["Karjoth, G."],"bibtex":"@inproceedings{ karjoth_generating_1992,\n title = {Generating {Transition} {Graphs} from {LOTOS} {Specifications}},\n booktitle = {Proceedings of the 5th {International} {Conference} on {Formal} {Description} {Techniques} {FORTE}'92 ({Lannion}, {France})},\n publisher = {IFIP},\n author = {Karjoth, Günter},\n editor = {Diaz, Michel and Groz, Roland},\n month = {October},\n year = {1992},\n note = {00008},\n pages = {275--288}\n}","bibtype":"inproceedings","booktitle":"Proceedings of the 5th International Conference on Formal Description Techniques FORTE'92 (Lannion, France)","editor":["Diaz, Michel","Groz, Roland"],"editor_short":["Diaz, M.","Groz, R."],"id":"karjoth_generating_1992","key":"karjoth_generating_1992","month":"October","note":"00008","pages":"275--288","publisher":"IFIP","title":"Generating Transition Graphs from LOTOS Specifications","type":"inproceedings","year":"1992","bibbaseid":"karjoth-generatingtransitiongraphsfromlotosspecifications-1992","role":"author","urls":{},"downloads":0},"search_terms":["generating","transition","graphs","lotos","specifications","karjoth"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}