- Referenced in 1 article
- verify stabilizer circuits using a version of CHP adapted to work with qasm input files...
- Referenced in 11446 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 13 articles
- Secure processor architectures enable new sets of applications...
- Referenced in 150 articles
- Introduction to the ISO specification language LOTOS. LOTOS...
- Referenced in 448 articles
- GUROBI OPTIMIZER: State of the Art Mathematical Programming...
- Referenced in 86 articles
- TOMLAB is a general purpose development and modeling...
- Referenced in 129 articles
- CADP (”Construction and Analysis of Distributed Processes”, formerly...
- Referenced in 8 articles
- caesar - compilation & verification of LOTOS specifications. caesar [Gar89b...