Exportar registro bibliográfico


Metrics:

Plan existence verification as symbolic model checking (2018)


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