{"_id":"ivykaE64nCbEW6Bvh","bibbaseid":"adiego-darvas-vinuela-tournier-suarez-blech-modellingandformalverificationoftimingaspectsinlargeplcprograms-2014","author_short":["Adiego, B. F.","Darvas, D.","Vinuela, E. B.","Tournier, J.","Suarez, V. M. G.","Blech, J. O."],"bibdata":{"bibtype":"article","type":"article","title":"Modelling and Formal Verification of Timing Aspects in Large PLC Programs","volume":"47","doi":"10/gh25v9","number":"3","journal":"IFAC Proceedings Volumes","author":[{"propositions":[],"lastnames":["Adiego"],"firstnames":["Borja","Fernandez"],"suffixes":[]},{"propositions":[],"lastnames":["Darvas"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Vinuela"],"firstnames":["Enrique","Blanco"],"suffixes":[]},{"propositions":[],"lastnames":["Tournier"],"firstnames":["Jean-Charles"],"suffixes":[]},{"propositions":[],"lastnames":["Suarez"],"firstnames":["Victor","Manuel","Gonzalez"],"suffixes":[]},{"propositions":[],"lastnames":["Blech"],"firstnames":["Jan","Olaf"],"suffixes":[]}],"year":"2014","pages":"3333–3339","bibtex":"@article{adiego_modelling_2014,\n\ttitle = {Modelling and {Formal} {Verification} of {Timing} {Aspects} in {Large} {PLC} {Programs}},\n\tvolume = {47},\n\tdoi = {10/gh25v9},\n\tnumber = {3},\n\tjournal = {IFAC Proceedings Volumes},\n\tauthor = {Adiego, Borja Fernandez and Darvas, Daniel and Vinuela, Enrique Blanco and Tournier, Jean-Charles and Suarez, Victor Manuel Gonzalez and Blech, Jan Olaf},\n\tyear = {2014},\n\tpages = {3333--3339},\n}\n\n","author_short":["Adiego, B. F.","Darvas, D.","Vinuela, E. B.","Tournier, J.","Suarez, V. M. G.","Blech, J. O."],"key":"adiego_modelling_2014","id":"adiego_modelling_2014","bibbaseid":"adiego-darvas-vinuela-tournier-suarez-blech-modellingandformalverificationoftimingaspectsinlargeplcprograms-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["modelling","formal","verification","timing","aspects","large","plc","programs","adiego","darvas","vinuela","tournier","suarez","blech"],"title":"Modelling and Formal Verification of Timing Aspects in Large PLC Programs","year":2014}