Exportar registro bibliográfico

Generating checking sequences for partial finite state machines (2008)


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