%0 Conference Paper %1 conf/syscon/SmithTCMT17 %A Smith, Kaitlin N. %A Taylor, Michael A. %A Carroll, Anna A. %A Manikas, Theodore W. %A Thornton, Mitchell A. %B SysCon %D 2017 %I IEEE %K dblp %P 1-8 %T Automated Markov-chain based analysis for large state spaces. %U http://dblp.uni-trier.de/db/conf/syscon/syscon2017.html#SmithTCMT17 %@ 978-1-5090-4623-2

@inproceedings{conf/syscon/SmithTCMT17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Smith, Kaitlin N. and Taylor, Michael A. and Carroll, Anna A. and Manikas, Theodore W. and Thornton, Mitchell A.}, biburl = {https://www.bibsonomy.org/bibtex/2e7516a57f815c737aeac7447d672c28a/dblp}, booktitle = {SysCon}, crossref = {conf/syscon/2017}, ee = {https://www.wikidata.org/entity/Q62513137}, interhash = {aa640cdf732fd8d9c99d204cd41bb700}, intrahash = {e7516a57f815c737aeac7447d672c28a}, isbn = {978-1-5090-4623-2}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-10T18:24:50.000+0200}, title = {Automated Markov-chain based analysis for large state spaces.}, url = {http://dblp.uni-trier.de/db/conf/syscon/syscon2017.html#SmithTCMT17}, year = 2017 }