%0 Journal Article %1 journals/cn/BolognesiB87 %A Bolognesi, Tommaso %A Brinksma, Ed %D 1987 %J Comput. Networks %K dblp %P 25-59 %T Introduction to the ISO Specification Language LOTOS. %U http://dblp.uni-trier.de/db/journals/cn/cn14.html#BolognesiB87 %V 14

@article{journals/cn/BolognesiB87, added-at = {2020-02-19T00:00:00.000+0100}, author = {Bolognesi, Tommaso and Brinksma, Ed}, biburl = {https://www.bibsonomy.org/bibtex/2bcb24c968251b8baf1426f5731c26c9f/dblp}, ee = {https://doi.org/10.1016/0169-7552(87)90085-7}, interhash = {9468a703c0a059876bf74913daf74a97}, intrahash = {bcb24c968251b8baf1426f5731c26c9f}, journal = {Comput. Networks}, keywords = {dblp}, pages = {25-59}, timestamp = {2020-02-20T11:45:41.000+0100}, title = {Introduction to the ISO Specification Language LOTOS.}, url = {http://dblp.uni-trier.de/db/journals/cn/cn14.html#BolognesiB87}, volume = 14, year = 1987 }