@inproceedings{DBLP:conf/rv/AzzopardiCEMP17, 
            author= {Shaun Azzopardi and
               Christian Colombo and
               Jean{-}Paul Ebejer and
               Edward Mallia and
               Gordon J. Pace}, 
            title= {Runtime Verification using {VALOUR}}, booktitle= {RV-CuBES 2017. An International Workshop on Competitions, Usability,
               Benchmarks, Evaluation, and Standardisation for Runtime Verification
               Tools, September 15, 2017, Seattle, WA, {USA}}, pages= {10--18}, year= {2017}, crossref= {DBLP:conf/rv/2017cubes}, url= {	https://doi.org/10.29007/bwd4}, timestamp= {Tue, 16 Jan 2018 18:09:01 +0100}, biburl= {https://dblp.org/rec/bib/conf/rv/AzzopardiCEMP17}, bibsource= {dblp computer science bibliography, https://dblp.org}}

{"_id":"nfYmSiWyXkdgZTY3t","bibbaseid":"azzopardi-colombo-ebejer-mallia-pace-runtimeverificationusingvalour-2017","authorIDs":["8sEvMX4Nga4Xz4o3t"],"author_short":["Azzopardi, S.","Colombo, C.","Ebejer, J.","Mallia, E.","Pace, G. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Colombo"],"suffixes":[]},{"firstnames":["Jean-Paul"],"propositions":[],"lastnames":["Ebejer"],"suffixes":[]},{"firstnames":["Edward"],"propositions":[],"lastnames":["Mallia"],"suffixes":[]},{"firstnames":["Gordon","J."],"propositions":[],"lastnames":["Pace"],"suffixes":[]}],"title":"Runtime Verification using VALOUR","booktitle":"RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA","pages":"10–18","year":"2017","crossref":"DBLP:conf/rv/2017cubes","url":"https://doi.org/10.29007/bwd4","timestamp":"Tue, 16 Jan 2018 18:09:01 +0100","biburl":"https://dblp.org/rec/bib/conf/rv/AzzopardiCEMP17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rv/AzzopardiCEMP17, \n author= {Shaun Azzopardi and\n Christian Colombo and\n Jean{-}Paul Ebejer and\n Edward Mallia and\n Gordon J. Pace}, \n title= {Runtime Verification using {VALOUR}}, booktitle= {RV-CuBES 2017. An International Workshop on Competitions, Usability,\n Benchmarks, Evaluation, and Standardisation for Runtime Verification\n Tools, September 15, 2017, Seattle, WA, {USA}}, pages= {10--18}, year= {2017}, crossref= {DBLP:conf/rv/2017cubes}, url= {\thttps://doi.org/10.29007/bwd4}, timestamp= {Tue, 16 Jan 2018 18:09:01 +0100}, biburl= {https://dblp.org/rec/bib/conf/rv/AzzopardiCEMP17}, bibsource= {dblp computer science bibliography, https://dblp.org}}\n\n\n","author_short":["Azzopardi, S.","Colombo, C.","Ebejer, J.","Mallia, E.","Pace, G. J."],"key":"DBLP:conf/rv/AzzopardiCEMP17","id":"DBLP:conf/rv/AzzopardiCEMP17","bibbaseid":"azzopardi-colombo-ebejer-mallia-pace-runtimeverificationusingvalour-2017","role":"author","urls":{"Paper":"https://doi.org/10.29007/bwd4"},"metadata":{"authorlinks":{"azzopardi, s":"https://shaunazzopardi.github.io/"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","creationDate":"2020-08-01T07:41:07.387Z","downloads":2,"keywords":[],"search_terms":["runtime","verification","using","valour","azzopardi","colombo","ebejer","mallia","pace"],"title":"Runtime Verification using VALOUR","year":2017,"dataSources":["mtLriRvYqkiErXwmg"]}