%0 Journal Article %1 journals/tse/BattistonCM96 %A Battiston, Eugenio %A de Cindio, Fiorella %A Mauri, Giancarlo %D 1996 %J IEEE Trans. Software Eng. %K dblp %N 10 %P 689-705 %T Modular Algebraic Nets to Specify Concurrent Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse22.html#BattistonCM96 %V 22

@article{journals/tse/BattistonCM96, added-at = {2018-11-14T00:00:00.000+0100}, author = {Battiston, Eugenio and de Cindio, Fiorella and Mauri, Giancarlo}, biburl = {https://www.bibsonomy.org/bibtex/216ed1b6e4894d76568d26d285b078f5d/dblp}, ee = {https://www.wikidata.org/entity/Q57518691}, interhash = {8c1b41446220a6fdcb914e79c1d0a528}, intrahash = {16ed1b6e4894d76568d26d285b078f5d}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 10, pages = {689-705}, timestamp = {2018-11-15T14:48:12.000+0100}, title = {Modular Algebraic Nets to Specify Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse22.html#BattistonCM96}, volume = 22, year = 1996 }