%0 Journal Article %1 journals/fac/Cooke07 %A Cooke, John %D 2007 %J Formal Aspects Comput. %K dblp %N 1 %P 1 %T Editorial. %U http://dblp.uni-trier.de/db/journals/fac/fac19.html#Cooke07 %V 19

@article{journals/fac/Cooke07, added-at = {2022-05-09T00:00:00.000+0200}, author = {Cooke, John}, biburl = {https://www.bibsonomy.org/bibtex/22f93c0cedcf8803c1f896fb343b5fb3c/dblp}, ee = {https://doi.org/10.1007/s00165-007-0025-8}, interhash = {ec14b5376ff2a7d04917dbc144bfac87}, intrahash = {2f93c0cedcf8803c1f896fb343b5fb3c}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 1, pages = 1, timestamp = {2024-04-09T05:37:05.000+0200}, title = {Editorial.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac19.html#Cooke07}, volume = 19, year = 2007 }