%0 Journal Article %1 journals/ijseke/TogashiMS96 %A Togashi, Atsushi %A Mansfield, Glenn %A Shiratori, Norio %D 1996 %J Int. J. Softw. Eng. Knowl. Eng. %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 = {2022-08-16T00:00:00.000+0200}, author = {Togashi, Atsushi and Mansfield, Glenn and Shiratori, Norio}, biburl = {https://www.bibsonomy.org/bibtex/28e272e633542b99c085854ff6aa30266/dblp}, ee = {https://www.wikidata.org/entity/Q111901264}, interhash = {1b0e1fbb741c6db1e9b3df3e3f2d10fa}, intrahash = {8e272e633542b99c085854ff6aa30266}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, keywords = {dblp}, number = 1, pages = {5-19}, timestamp = {2024-04-09T07:21:48.000+0200}, title = {Animating LOTOS Specifications Using Amlog.}, url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke6.html#TogashiMS96}, volume = 6, year = 1996 }