BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
quantum (1)
checker (1)
model (1)
system (1)

Stem qmc$ (all stems)

1 papers:

CAVCAV-2008-GayNP #model checking #named #quantum
QMC: A Model Checker for Quantum Systems (SJG, RN, NP), pp. 543–547.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.