Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/fmsd/MikeevNSW13
%A Mikeev, Linar
%A Neuhäußer, Martin R.
%A Spieler, David
%A Wolf, Verena
%D 2013
%J Formal Methods Syst. Des.
%K
%N 2
%P 313-337
%T On-the-fly verification and optimization of DTA-properties for large Markov chains.
%U http://dblp.uni-trier.de/db/journals/fmsd/fmsd43.html#MikeevNSW13
%V 43
@article{journals/fmsd/MikeevNSW13,
added-at = {2023-12-12T17:34:09.000+0100},
author = {Mikeev, Linar and Neuhäußer, Martin R. and Spieler, David and Wolf, Verena},
biburl = {https://www.bibsonomy.org/bibtex/24c0c0c93574bc4fddc25cfaa32b9a6fd/admin},
ee = {https://doi.org/10.1007/s10703-012-0165-1},
interhash = {05964479da6fcd73e23204130ef1d3c0},
intrahash = {4c0c0c93574bc4fddc25cfaa32b9a6fd},
journal = {Formal Methods Syst. Des.},
keywords = {},
number = 2,
pages = {313-337},
timestamp = {2023-12-12T17:34:09.000+0100},
title = {On-the-fly verification and optimization of DTA-properties for large Markov chains.},
url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd43.html#MikeevNSW13},
volume = 43,
year = 2013
}