DMCA

Symbolic determinisation of extended automata (2006)

by Thierry Jeron , Herve Marchand , Vlad Rusu
Citations:8 - 6 self