%0 Journal Article %1 journals/ijseke/TogashiMS96 %A Togashi, Atsushi %A Mansfield, Glenn %A Shiratori, Norio %D 1996 %J International Journal of Software Engineering and Knowledge Engineering %K dblp %N 1 %P 5-19 %T Animating LOTOS Specifications Using Amlog. %U http://dblp.uni-trier.de/db/journals/ijseke/ijseke6.html#TogashiMS96 %V 6

@article{journals/ijseke/TogashiMS96, added-at = {2008-07-09T00:00:00.000+0200}, author = {Togashi, Atsushi and Mansfield, Glenn and Shiratori, Norio}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24c9547c61fa9b06fe081fff6d7e8f2a1/dblp}, ee = {http://dx.doi.org/10.1142/S0218194096000028}, interhash = {1b0e1fbb741c6db1e9b3df3e3f2d10fa}, intrahash = {4c9547c61fa9b06fe081fff6d7e8f2a1}, journal = {International Journal of Software Engineering and Knowledge Engineering}, keywords = {dblp}, number = 1, pages = {5-19}, timestamp = {2016-02-02T01:12:47.000+0100}, title = {Animating LOTOS Specifications Using Amlog.}, url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke6.html#TogashiMS96}, volume = 6, year = 1996 }