Towards Quantum Programs Verification: From Quipper Circuits to QPMC (Q3186602): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QPMC
@@ Property / describes a project that uses: QPMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+qGCL
@@ Property / describes a project that uses: qGCL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quipper
@@ Property / describes a project that uses: Quipper / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-40578-0_16
+Normal rank
@@ Property / OpenAlex ID @@
+W2476844526
@@ Property / OpenAlex ID: W2476844526 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking quantum Markov chains
@@ Property / cites work: Model checking quantum Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560846
@@ Property / cites work: Q3560846 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Quantum Programming in Quipper
@@ Property / cites work: An Introduction to Quantum Programming in Quipper / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank