Comparing Source Sets and Persistent Sets for Partial Order Reduction.
P. Abdulla, S. Aronis, B. Jonsson, и K. Sagonas. Models, Algorithms, Logics and Tools, том 10460 из Lecture Notes in Computer Science, стр. 516-536. Springer, (2017)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/birthday/AbdullaAJS17
%A Abdulla, Parosh Aziz
%A Aronis, Stavros
%A Jonsson, Bengt
%A Sagonas, Konstantinos
%B Models, Algorithms, Logics and Tools
%D 2017
%E Aceto, Luca
%E Bacci, Giorgio
%E Bacci, Giovanni
%E Ingólfsdóttir, Anna
%E Legay, Axel
%E Mardare, Radu
%I Springer
%K
%P 516-536
%T Comparing Source Sets and Persistent Sets for Partial Order Reduction.
%U http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#AbdullaAJS17
%V 10460
%@ 978-3-319-63121-9
@inproceedings{conf/birthday/AbdullaAJS17,
added-at = {2023-12-12T17:46:51.000+0100},
author = {Abdulla, Parosh Aziz and Aronis, Stavros and Jonsson, Bengt and Sagonas, Konstantinos},
biburl = {https://www.bibsonomy.org/bibtex/2e9ab37393de68070f79e6950319e44dd/admin},
booktitle = {Models, Algorithms, Logics and Tools},
crossref = {conf/birthday/2017larsen},
editor = {Aceto, Luca and Bacci, Giorgio and Bacci, Giovanni and Ingólfsdóttir, Anna and Legay, Axel and Mardare, Radu},
ee = {https://doi.org/10.1007/978-3-319-63121-9_26},
interhash = {08a3b4724be9243ed136f52e52440a90},
intrahash = {e9ab37393de68070f79e6950319e44dd},
isbn = {978-3-319-63121-9},
keywords = {},
pages = {516-536},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T17:46:51.000+0100},
title = {Comparing Source Sets and Persistent Sets for Partial Order Reduction.},
url = {http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#AbdullaAJS17},
volume = 10460,
year = 2017
}