%0 Journal Article %1 journals/ijseke/SterlingCT96 %A Sterling, Leon %A Ciancarini, Paolo %A Turnidge, Todd %D 1996 %J International Journal of Software Engineering and Knowledge Engineering %K dblp %N 1 %P 63-87 %T On the Animation of "not Executable" Specifications by Prolog. %U http://dblp.uni-trier.de/db/journals/ijseke/ijseke6.html#SterlingCT96 %V 6

@article{journals/ijseke/SterlingCT96, added-at = {2018-11-02T00:00:00.000+0100}, author = {Sterling, Leon and Ciancarini, Paolo and Turnidge, Todd}, biburl = {https://www.bibsonomy.org/bibtex/2f35abedc118db9f17b15609c9e8bb941/dblp}, ee = {https://doi.org/10.1142/S0218194096000041}, interhash = {997afdf0cbefcb3d3243b01bd0164847}, intrahash = {f35abedc118db9f17b15609c9e8bb941}, journal = {International Journal of Software Engineering and Knowledge Engineering}, keywords = {dblp}, number = 1, pages = {63-87}, timestamp = {2018-11-03T11:40:11.000+0100}, title = {On the Animation of "not Executable" Specifications by Prolog.}, url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke6.html#SterlingCT96}, volume = 6, year = 1996 }