1
Pubblicazione 2007
Sommario: ...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...
Testo
Elettronico eBook