Login / Signup

Inference on population history and model checking using DNA sequence and microsatellite data with the software DIYABC (v1.0).

Jean-Marie CornuetVirgine RavignéArnaud Estoup
Published in: BMC Bioinform. (2010)
Keyphrases
  • model checking
  • data analysis
  • temporal logic
  • dna sequences
  • formal specification
  • verification method
  • symbolic model checking