@inproceedings{ haj-hussein_goal-oriented_1992,
  title = {Goal-{Oriented} {Execution} of {LOTOS} {Specifications}},
  booktitle = {Proceedings of the 4th {International} {Conference} on {Formal} {Description} {Techniques} {FORTE}'92 ({Perros}-{Guirec}, {France})},
  publisher = {nh},
  author = {Haj-Hussein, R. and Logrippo, Luigi and Sincennes, J.},
  editor = {Diaz, Michel and Groz, Roland},
  year = {1992},
  note = {00000},
  pages = {311--327}
}

{"_id":"s8AvBcg7RjJswxG4i","bibbaseid":"hajhussein-logrippo-sincennes-goalorientedexecutionoflotosspecifications-1992","downloads":0,"creationDate":"2015-04-22T00:15:36.086Z","title":"Goal-Oriented Execution of LOTOS Specifications","author_short":["Haj-Hussein, R.","Logrippo, L.","Sincennes, J."],"year":1992,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"author":["Haj-Hussein, R.","Logrippo, Luigi","Sincennes, J."],"author_short":["Haj-Hussein, R.","Logrippo, L.","Sincennes, J."],"bibtex":"@inproceedings{ haj-hussein_goal-oriented_1992,\n title = {Goal-{Oriented} {Execution} of {LOTOS} {Specifications}},\n booktitle = {Proceedings of the 4th {International} {Conference} on {Formal} {Description} {Techniques} {FORTE}'92 ({Perros}-{Guirec}, {France})},\n publisher = {nh},\n author = {Haj-Hussein, R. and Logrippo, Luigi and Sincennes, J.},\n editor = {Diaz, Michel and Groz, Roland},\n year = {1992},\n note = {00000},\n pages = {311--327}\n}","bibtype":"inproceedings","booktitle":"Proceedings of the 4th International Conference on Formal Description Techniques FORTE'92 (Perros-Guirec, France)","editor":["Diaz, Michel","Groz, Roland"],"editor_short":["Diaz, M.","Groz, R."],"id":"haj-hussein_goal-oriented_1992","key":"haj-hussein_goal-oriented_1992","note":"00000","pages":"311--327","publisher":"nh","title":"Goal-Oriented Execution of LOTOS Specifications","type":"inproceedings","year":"1992","bibbaseid":"hajhussein-logrippo-sincennes-goalorientedexecutionoflotosspecifications-1992","role":"author","urls":{},"downloads":0},"search_terms":["goal","oriented","execution","lotos","specifications","haj-hussein","logrippo","sincennes"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}