Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions

M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.

Download
No fulltext has been uploaded.
Mastersthesis
Author
Sanati, Maryam
Publishing Year
LibreCat-ID
422

Cite this

Sanati M. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn; 2014.
Sanati, M. (2014). Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn.
@book{Sanati_2014, title={Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions}, publisher={Universität Paderborn}, author={Sanati, Maryam}, year={2014} }
Sanati, Maryam. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.
Sanati, Maryam. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar