Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A general logic for reasoning about graph structures with paths

Autor
Orejas, F.; Lambers, L.; Navarro, M.; Pino, E.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
Symposium on Formal Methods for Software Systems
Any de l'edició
2016
Data de presentació
2016-10-10
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants