Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. [PDF]
Form Methods Syst Des, 2017 Konnov I, Lazić M, Veith H, Widder J.
europepmc +1 more source
Quantitative PCR Assays for Detecting Loach Minnow (Rhinichthys cobitis) and Spikedace (Meda fulgida) in the Southwestern United States. [PDF]
PLoS One, 2016 Dysthe JC +5 more
europepmc +1 more source
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]
Sensors (Basel), 2020 Chouhan AP, Banda G.
europepmc +1 more source
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. [PDF]
Front Robot AI, 2018 De Nicola R, Di Stefano L, Inverso O.
europepmc +1 more source
Java PathFinder: A Translator From Java to Promela
, 1999 JAVA PATHFINDER, JPF, is a prototype translator from JAVA to PROMELA, the modeling language of the SPIN model checker. JPF is a product of a major effort by the Automated Software Engineering group at NASA Ames to make model checking technology part of ...
Havelund, Klaus
core
Genome-Wide Identification, Expression and Response to Estrogen of Vitellogenin Gene Family in Sichuan Bream (Sinibrama taeniatus). [PDF]
Int J Mol SciZhao Z, Peng L, Zhao Q, Wang Z.
europepmc +1 more source
Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]
Sensors (Basel), 2019 López J +2 more
europepmc +1 more source
The SLMTA programme: Transforming the laboratory landscape in developing countries. [PDF]
Afr J Lab Med, 2014 Yao K +3 more
europepmc +1 more source
The fission yeast Cdc1 protein, a homologue of the small subunit of DNA polymerase delta, binds to Pol3 and Cdc27. [PDF]
EMBO J, 1996 MacNeill SA +4 more
europepmc +1 more source