 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Sole-Carmona/12" |
|
An SMT-based discovery algorithm for C-nets
Marc Solé, Josep Carmona
Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)
Lecture Notes in Computer Science
7347
, 2012, pp. 51-71
| Editors | Serge Haddad, Lucia Pomello | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-642-31131-4_4 | |
|
|
|
|