Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/deds/LiaoWCSKLMR13
%A Liao, Hongwei
%A Wang, Yin
%A Cho, Hyoun Kyu
%A Stanley, Jason
%A Kelly, Terence
%A Lafortune, Stéphane
%A Mahlke, Scott A.
%A Reveliotis, Spyros A.
%D 2013
%J Discret. Event Dyn. Syst.
%K dblp
%N 2
%P 157-195
%T Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
%U http://dblp.uni-trier.de/db/journals/deds/deds23.html#LiaoWCSKLMR13
%V 23
@article{journals/deds/LiaoWCSKLMR13,
added-at = {2021-07-25T00:00:00.000+0200},
author = {Liao, Hongwei and Wang, Yin and Cho, Hyoun Kyu and Stanley, Jason and Kelly, Terence and Lafortune, Stéphane and Mahlke, Scott A. and Reveliotis, Spyros A.},
biburl = {https://www.bibsonomy.org/bibtex/2da63e6d4a42212dca3cb56d9a7557c7b/dblp},
ee = {https://doi.org/10.1007/s10626-012-0139-x},
interhash = {4e26c44c331b5d6311448ac5c7279613},
intrahash = {da63e6d4a42212dca3cb56d9a7557c7b},
journal = {Discret. Event Dyn. Syst.},
keywords = {dblp},
number = 2,
pages = {157-195},
timestamp = {2024-04-08T10:17:00.000+0200},
title = {Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.},
url = {http://dblp.uni-trier.de/db/journals/deds/deds23.html#LiaoWCSKLMR13},
volume = 23,
year = 2013
}