%0 Journal Article %1 journals/isse/BreuerP10 %A Breuer, Peter T. %A Pickin, Simon %D 2010 %J Innov. Syst. Softw. Eng. %K dblp %N 4 %P 255-268 %T A formal nethod (a networked formal method). %U http://dblp.uni-trier.de/db/journals/isse/isse6.html#BreuerP10 %V 6

@article{journals/isse/BreuerP10, added-at = {2023-03-21T00:00:00.000+0100}, author = {Breuer, Peter T. and Pickin, Simon}, biburl = {https://www.bibsonomy.org/bibtex/23507f6cd83f002330c12b156cb82925b/dblp}, ee = {https://doi.org/10.1007/s11334-009-0121-4}, interhash = {bc884a16474db6dadc64db591684f637}, intrahash = {3507f6cd83f002330c12b156cb82925b}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 4, pages = {255-268}, timestamp = {2024-04-09T04:08:32.000+0200}, title = {A formal nethod (a networked formal method).}, url = {http://dblp.uni-trier.de/db/journals/isse/isse6.html#BreuerP10}, volume = 6, year = 2010 }