%0 Book Section %1 series/lncs/LourencoFKV18 %A Lourenço, João M. %A Fiedor, Jan %A Krena, Bohuslav %A Vojnar, Tomás %B Lectures on Runtime Verification %D 2018 %E Bartocci, Ezio %E Falcone, Yliès %I Springer %K dblp %P 34-60 %T Discovering Concurrency Errors. %U http://dblp.uni-trier.de/db/series/lncs/lncs10457.html#LourencoFKV18 %V 10457 %@ 978-3-319-75632-5

@incollection{series/lncs/LourencoFKV18, added-at = {2018-03-06T00:00:00.000+0100}, author = {Lourenço, João M. and Fiedor, Jan and Krena, Bohuslav and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/2aa92491f3031deb98eb7beb1a3ca4756/dblp}, booktitle = {Lectures on Runtime Verification}, crossref = {series/lncs/10457}, editor = {Bartocci, Ezio and Falcone, Yliès}, ee = {https://doi.org/10.1007/978-3-319-75632-5_2}, interhash = {d1677b88b45437bc209ddb4a95779884}, intrahash = {aa92491f3031deb98eb7beb1a3ca4756}, isbn = {978-3-319-75632-5}, keywords = {dblp}, pages = {34-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:55:23.000+0200}, title = {Discovering Concurrency Errors.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs10457.html#LourencoFKV18}, volume = 10457, year = 2018 }