Girish Keshav Palshikar, Purandar Bhaduri. Verification of Scenario-based Specifications using Templates. Electronic Notes in Theoretical Computer Science, 118:37-55, 2005. [doi]
@article{PalshikarB05, title = {Verification of Scenario-based Specifications using Templates}, author = {Girish Keshav Palshikar and Purandar Bhaduri}, year = {2005}, doi = {10.1016/j.entcs.2004.12.017}, url = {http://dx.doi.org/10.1016/j.entcs.2004.12.017}, tags = {rule-based}, researchr = {https://researchr.org/publication/PalshikarB05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {118}, pages = {37-55}, }