Exportar registro bibliográfico


Metrics:

Generating checking sequences for nondeterministic finite state machines (2012)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021