Sliced model checking for phylogenetic analysis
- Requeno, J.I.
- Blanco, R.
- De Miguel Casado, G.
- Colom, J.M.
ISSN: 1867-5662
ISBN: 9783642288388
Year of publication: 2012
Volume: 154 AISC
Pages: 95-103
Type: Conference paper
ISSN: 1867-5662
ISBN: 9783642288388
Year of publication: 2012
Volume: 154 AISC
Pages: 95-103
Type: Conference paper