Book chapter

LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Cham: Springer International Publishing, 2018, pp. 34-60. ISBN 978-3-319-75632-5. Available from: https://doi.org/10.1007/978-3-319-75632-5_2
Publication language:english
Original title:Discovering Concurrency Errors
Title (cs):Odhalování chyb v paralelismech
Pages:34-60
Book:Lectures on Runtime Verification: Introductory and Advanced Topics
Series:Lecture Notes in Computer Science, vol 10457
Place:Cham, DE
Year:2018
URL:https://doi.org/10.1007/978-3-319-75632-5_2
ISBN:978-3-319-75632-5
DOI:10.1007/978-3-319-75632-5_2
Publisher:Springer International Publishing
BibTeX:
@INBOOK{
   author = {Joao Lourenco and Jan Fiedor and Bohuslav
	K{\v{r}}ena and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Discovering Concurrency Errors},
   pages = {34--60},
   booktitle = {Lectures on Runtime Verification: Introductory and Advanced
	Topics},
   series = {Lecture Notes in Computer Science, vol 10457},
   year = {2018},
   location = {Cham, DE},
   publisher = {Springer International Publishing},
   ISBN = {978-3-319-75632-5},
   doi = {10.1007/978-3-319-75632-5_2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=11736}
}

Your IPv4 address: 54.197.24.206
Switch to https

DNSSEC [dnssec]