@inproceedings{DBLP:conf/zum/AguirreBDM03,
  author    = {Nazareno Aguirre and
               Juan Bicarregui and
               Theodosis Dimitrakos and
               T. S. E. Maibaum},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Towards Dynamic Population Management of Abstract Machines in the
               {B} Method},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {528--545},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_31},
  doi       = {10.1007/3-540-44880-2\_31},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/AguirreBDM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ikjuQfvBcQgd42C3s","bibbaseid":"aguirre-bicarregui-dimitrakos-maibaum-towardsdynamicpopulationmanagementofabstractmachinesinthebmethod-2003","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259"],"author_short":["Aguirre, N.","Bicarregui, J.","Dimitrakos, T.","Maibaum, T. S. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["Juan"],"propositions":[],"lastnames":["Bicarregui"],"suffixes":[]},{"firstnames":["Theodosis"],"propositions":[],"lastnames":["Dimitrakos"],"suffixes":[]},{"firstnames":["T.","S.","E."],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]}],"editor":[{"firstnames":["Didier"],"propositions":[],"lastnames":["Bert"],"suffixes":[]},{"firstnames":["Jonathan","P."],"propositions":[],"lastnames":["Bowen"],"suffixes":[]},{"firstnames":["Steve"],"propositions":[],"lastnames":["King"],"suffixes":[]},{"firstnames":["Marina"],"propositions":[],"lastnames":["Waldén"],"suffixes":[]}],"title":"Towards Dynamic Population Management of Abstract Machines in the B Method","booktitle":"ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings","series":"Lecture Notes in Computer Science","volume":"2651","pages":"528–545","publisher":"Springer","year":"2003","url":"https://doi.org/10.1007/3-540-44880-2_31","doi":"10.1007/3-540-44880-2_31","timestamp":"Tue, 14 May 2019 10:00:53 +0200","biburl":"https://dblp.org/rec/conf/zum/AguirreBDM03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/zum/AguirreBDM03,\n author = {Nazareno Aguirre and\n Juan Bicarregui and\n Theodosis Dimitrakos and\n T. S. E. Maibaum},\n editor = {Didier Bert and\n Jonathan P. Bowen and\n Steve King and\n Marina Wald{\\'{e}}n},\n title = {Towards Dynamic Population Management of Abstract Machines in the\n {B} Method},\n booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third\n International Conference of {B} and {Z} Users, Turku, Finland, June\n 4-6, 2003, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2651},\n pages = {528--545},\n publisher = {Springer},\n year = {2003},\n url = {https://doi.org/10.1007/3-540-44880-2\\_31},\n doi = {10.1007/3-540-44880-2\\_31},\n timestamp = {Tue, 14 May 2019 10:00:53 +0200},\n biburl = {https://dblp.org/rec/conf/zum/AguirreBDM03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aguirre, N.","Bicarregui, J.","Dimitrakos, T.","Maibaum, T. S. E."],"editor_short":["Bert, D.","Bowen, J. P.","King, S.","Waldén, M."],"key":"DBLP:conf/zum/AguirreBDM03","id":"DBLP:conf/zum/AguirreBDM03","bibbaseid":"aguirre-bicarregui-dimitrakos-maibaum-towardsdynamicpopulationmanagementofabstractmachinesinthebmethod-2003","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-44880-2_31"},"downloads":0},"bibtype":"inproceedings","biburl":"https://mfisdc.herokuapp.com/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:48:55.624Z","downloads":0,"keywords":[],"search_terms":["towards","dynamic","population","management","abstract","machines","method","aguirre","bicarregui","dimitrakos","maibaum"],"title":"Towards Dynamic Population Management of Abstract Machines in the B Method","year":2003,"dataSources":["gvSikWpYHquST7mGs"]}