External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Selection of formal verification heuristics for parallel execution

Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes. Selection of formal verification heuristics for parallel execution. STTT, 14(1):95-108, 2012. [doi]

Authors

Georgia Penido Safe

This author has not been identified. Look up 'Georgia Penido Safe' in Google

Claudionor Coelho

This author has not been identified. Look up 'Claudionor Coelho' in Google

Luiz Filipe M. Vieira

This author has not been identified. Look up 'Luiz Filipe M. Vieira' in Google

Celina Gomes Do Val

This author has not been identified. Look up 'Celina Gomes Do Val' in Google

José Augusto Miranda Nacif

This author has not been identified. Look up 'José Augusto Miranda Nacif' in Google

Antônio Otávio Fernandes

This author has not been identified. Look up 'Antônio Otávio Fernandes' in Google
runs on