Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. Keller. Automatic Synthesis of Behavioral Object Specifications from Scenarios. Transactions of the SDPS, 5(3):53-77, 2001. [doi]
@article{KhrissEK01,
title = {Automatic Synthesis of Behavioral Object Specifications from Scenarios},
author = {Ismaïl Khriss and Mohammed Elkoutbi and Rudolf K. Keller},
year = {2001},
url = {http://iospress.metapress.com/content/kvqexpt6ndn5lyxp/},
researchr = {https://researchr.org/publication/KhrissEK01},
cites = {0},
citedby = {0},
journal = {Transactions of the SDPS},
volume = {5},
number = {3},
pages = {53-77},
}