Knowledge Tree

researcher / Vincent Hugot

Vincent Hugot

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking