%0 Conference Paper %1 conf/ftscs/GomesGH16 %A de Carvalho Gomes, Pedro %A Gurov, Dilian %A Huisman, Marieke %B FTSCS %D 2016 %E Artho, Cyrille %E Ölveczky, Peter Csaba %K dblp %P 3-19 %T Specification and Verification of Synchronization with Condition Variables. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2016.html#GomesGH16 %V 694 %@ 978-3-319-53945-4

@inproceedings{conf/ftscs/GomesGH16, added-at = {2022-01-03T00:00:00.000+0100}, author = {de Carvalho Gomes, Pedro and Gurov, Dilian and Huisman, Marieke}, biburl = {https://www.bibsonomy.org/bibtex/2e4d296eb829ac6176b0d47cd4192e140/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2016}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-319-53946-1_1}, interhash = {5ac0dd43d397d7e3f653a7b1166d4b2a}, intrahash = {e4d296eb829ac6176b0d47cd4192e140}, isbn = {978-3-319-53945-4}, keywords = {dblp}, pages = {3-19}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-10T07:25:05.000+0200}, title = {Specification and Verification of Synchronization with Condition Variables.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2016.html#GomesGH16}, volume = 694, year = 2016 }