@inproceedings{DBLP:conf/dsvis/VelaGT98,
  author    = {Francisco Luis Guti{\'{e}}rrez Vela and
               Miguel Gea and
               Juan Carlos Torres},
  editor    = {Panos Markopoulos and
               Peter Johnson},
  title     = {Verification of Interactive System Using Algebraic Specification},
  booktitle = {Design, Specification and Verification of Interactive Systems'98,
               Supplementary Proceedings of the Fifth International Eurographics
               Workshop, June 3-5, 1998, Abingdon, United Kingdom},
  volume    = {2},
  pages     = {68--84},
  publisher = {Eurographics Association},
  year      = {1998},
  timestamp = {Wed, 01 Jul 2020 21:28:45 +0200},
  biburl    = {https://dblp.org/rec/conf/dsvis/VelaGT98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"34TQ7i5HTLwikoBT3","bibbaseid":"vela-gea-torres-verificationofinteractivesystemusingalgebraicspecification-1998","author_short":["Vela, F. L. G.","Gea, M.","Torres, J. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Francisco","Luis","Gutiérrez"],"propositions":[],"lastnames":["Vela"],"suffixes":[]},{"firstnames":["Miguel"],"propositions":[],"lastnames":["Gea"],"suffixes":[]},{"firstnames":["Juan","Carlos"],"propositions":[],"lastnames":["Torres"],"suffixes":[]}],"editor":[{"firstnames":["Panos"],"propositions":[],"lastnames":["Markopoulos"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Johnson"],"suffixes":[]}],"title":"Verification of Interactive System Using Algebraic Specification","booktitle":"Design, Specification and Verification of Interactive Systems'98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom","volume":"2","pages":"68–84","publisher":"Eurographics Association","year":"1998","timestamp":"Wed, 01 Jul 2020 21:28:45 +0200","biburl":"https://dblp.org/rec/conf/dsvis/VelaGT98.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dsvis/VelaGT98,\n author = {Francisco Luis Guti{\\'{e}}rrez Vela and\n Miguel Gea and\n Juan Carlos Torres},\n editor = {Panos Markopoulos and\n Peter Johnson},\n title = {Verification of Interactive System Using Algebraic Specification},\n booktitle = {Design, Specification and Verification of Interactive Systems'98,\n Supplementary Proceedings of the Fifth International Eurographics\n Workshop, June 3-5, 1998, Abingdon, United Kingdom},\n volume = {2},\n pages = {68--84},\n publisher = {Eurographics Association},\n year = {1998},\n timestamp = {Wed, 01 Jul 2020 21:28:45 +0200},\n biburl = {https://dblp.org/rec/conf/dsvis/VelaGT98.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Vela, F. L. G.","Gea, M.","Torres, J. C."],"editor_short":["Markopoulos, P.","Johnson, P."],"key":"DBLP:conf/dsvis/VelaGT98","id":"DBLP:conf/dsvis/VelaGT98","bibbaseid":"vela-gea-torres-verificationofinteractivesystemusingalgebraicspecification-1998","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/15/4554-1.bib","dataSources":["9bN8fdwRukFCnN2Ay"],"keywords":[],"search_terms":["verification","interactive","system","using","algebraic","specification","vela","gea","torres"],"title":"Verification of Interactive System Using Algebraic Specification","year":1998}