@ARTICLE{GN17a,
  author = {Goubault-Larrecq, Jean and Ng, Kok Min},
  title = {A Few Notes on Formal Balls},
  journal = {Logical Methods in Computer Science},
  year = {2017},
  volume = {13},
  number = {4},
  month = Nov,
  doi = {10.23638/LMCS-13(4:18)2017},
  file = {GN17a.pdf:files\\GN17a.pdf:PDF},
  url = {https://lmcs.episciences.org/4100}
}

{"_id":"kujxiKxSnqJ4cnsg4","bibbaseid":"goubaultlarrecq-ng-afewnotesonformalballs-2017","authorIDs":[],"author_short":["Goubault-Larrecq, J.","Ng, K. M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Goubault-Larrecq"],"firstnames":["Jean"],"suffixes":[]},{"propositions":[],"lastnames":["Ng"],"firstnames":["Kok","Min"],"suffixes":[]}],"title":"A Few Notes on Formal Balls","journal":"Logical Methods in Computer Science","year":"2017","volume":"13","number":"4","doi":"10.23638/LMCS-13(4:18)2017","file":"GN17a.pdf:files\\\\GN17a.pdf:PDF","url":"https://lmcs.episciences.org/4100","bibtex":"@ARTICLE{GN17a,\r\n author = {Goubault-Larrecq, Jean and Ng, Kok Min},\r\n title = {A Few Notes on Formal Balls},\r\n journal = {Logical Methods in Computer Science},\r\n year = {2017},\r\n volume = {13},\r\n number = {4},\r\n month = Nov,\r\n doi = {10.23638/LMCS-13(4:18)2017},\r\n file = {GN17a.pdf:files\\\\GN17a.pdf:PDF},\r\n url = {https://lmcs.episciences.org/4100}\r\n}\r\n\r\n","author_short":["Goubault-Larrecq, J.","Ng, K. M."],"key":"GN17a","id":"GN17a","bibbaseid":"goubaultlarrecq-ng-afewnotesonformalballs-2017","role":"author","urls":{"Paper":"https://lmcs.episciences.org/4100"},"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.187Z","downloads":0,"keywords":[],"search_terms":["few","notes","formal","balls","goubault-larrecq","ng"],"title":"A Few Notes on Formal Balls","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}