Goal-Oriented Execution of LOTOS Specifications. Haj-Hussein, R., Logrippo, L., & Sincennes, J. In Diaz, M. & Groz, R., editors, Proceedings of the 4th International Conference on Formal Description Techniques FORTE'92 (Perros-Guirec, France), pages 311--327, 1992. nh. 00000
@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}

Downloads: 0