[EPO] DEVICE AND METHOD FOR QUANTUM PROBABILISTIC MODEL CHECKING FOR TIME-BOUNDED PROPERTIES

Part of

One-Dimensional Correlated Fermion Systems