Publication
Detail
Publication date: 01/02/2011Learning specifications of interaction protocols and business processes and proving their properties
| URL | http://dx.doi.org/10.3233/IA-2011-0006 |
|---|---|
| Journal | Intelligenza Artificiale |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 5 |
| Number | 1 |
| ISSN | 1724-8035 |
| URL | http://dx.doi.org/10.3233/IA-2011-0006 |
| Journal | Intelligenza Artificiale |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 5 |
| Number | 1 |
| ISSN | 1724-8035 |