Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties

From MaRDI portal

(Redirected from Publication:498408)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Quantum_Markov_chains:_description_of_hybrid_systems,_decidability_of_equivalence,_and_model_checking_linear-time_properties&oldid=62419878"