Carregant...
Carregant...

Vés al contingut (premeu Retorn)

An SMT-based discovery algorithm for C-Nets

Autor
Sole, M.; Carmona, J.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
33rd International Conference on Application and Theory of Petri Nets and Concurrency
Any de l'edició
2012
Llibre d'actes
Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012: Hamburg, Germany, June 25-29, 2012: proceedings
Pàgina inicial
51
Pàgina final
71
DOI
https://doi.org/10.1007/978-3-642-31131-4_4 Obrir en finestra nova
URL
http://link.springer.com/chapter/10.1007/978-3-642-31131-4_4 Obrir en finestra nova
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants