Loading...
Loading...

Go to the content (press return)

An SMT-based discovery algorithm for C-Nets

Author
Sole, M.; Carmona, J.
Type of activity
Presentation of work at congresses
Name of edition
33rd International Conference on Application and Theory of Petri Nets and Concurrency
Date of publication
2012
Book of congress proceedings
Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012: Hamburg, Germany, June 25-29, 2012: proceedings
First page
51
Last page
71
DOI
https://doi.org/10.1007/978-3-642-31131-4_4 Open in new window
URL
http://link.springer.com/chapter/10.1007/978-3-642-31131-4_4 Open in new window
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants