%0 Journal Article %1 journals/cacm/FisherDW13 %A Fisher, Michael %A Dennis, Louise A. %A Webster, Matthew P. %D 2013 %J Commun. ACM %K dblp %N 9 %P 84-93 %T Verifying autonomous systems. %U http://dblp.uni-trier.de/db/journals/cacm/cacm56.html#FisherDW13 %V 56

@article{journals/cacm/FisherDW13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Fisher, Michael and Dennis, Louise A. and Webster, Matthew P.}, biburl = {https://www.bibsonomy.org/bibtex/25fba963d4f96d10132701cead588d2fb/dblp}, ee = {https://www.wikidata.org/entity/Q98283466}, interhash = {0ef705feec1ab4a0afcf76b24bb58040}, intrahash = {5fba963d4f96d10132701cead588d2fb}, journal = {Commun. ACM}, keywords = {dblp}, number = 9, pages = {84-93}, timestamp = {2024-04-09T02:12:15.000+0200}, title = {Verifying autonomous systems.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm56.html#FisherDW13}, volume = 56, year = 2013 }