default search action
BibTeX record conf/musepat/CarverL13
@inproceedings{DBLP:conf/musepat/CarverL13, author = {Richard H. Carver and Yu Lei}, editor = {Jo{\~{a}}o Louren{\c{c}}o and Eitan Farchi}, title = {A Modular Approach to Model-Based Testing of Concurrent Programs}, booktitle = {Multicore Software Engineering, Performance, and Tools - International Conference, {MUSEPAT} 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8063}, pages = {85--96}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39955-8\_8}, doi = {10.1007/978-3-642-39955-8\_8}, timestamp = {Wed, 10 Feb 2021 11:28:15 +0100}, biburl = {https://dblp.org/rec/conf/musepat/CarverL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.