Shmarov, Fedor; Zuliani, Paolo Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques Incollection Hardware and Software: Verification and Testing, pp. 152–168, Springer International Publishing, 2016. Links | BibTeX @incollection{Shmarov2016,
title = {Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques},
author = { Fedor Shmarov and Paolo Zuliani},
doi = {10.1007/978-3-319-49052-6_10},
year = {2016},
date = {2016-01-01},
booktitle = {Hardware and Software: Verification and Testing},
pages = {152--168},
publisher = {Springer International Publishing},
keywords = {},
pubstate = {},
tppubtype = {incollection}
}
|
Fellermann, Harold; Lopiccolo, Annunziata ; Kozyra, Jerzy ; Krasnogor, Natalio In Vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement Incollection Unconventional Computation and Natural Computation, pp. 87–98, Springer International Publishing, 2016. Links | BibTeX @incollection{Fellermann2016,
title = {In Vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement},
author = { Harold Fellermann and Annunziata Lopiccolo and Jerzy Kozyra and Natalio Krasnogor},
doi = {10.1007/978-3-319-41312-9_8},
year = {2016},
date = {2016-01-01},
booktitle = {Unconventional Computation and Natural Computation},
pages = {87--98},
publisher = {Springer International Publishing},
keywords = {},
pubstate = {},
tppubtype = {incollection}
}
|