CSP generation from Coloured Petri-Net Models

R. Buil, D. Riera, M.A. Piera, A. Guasch

    Research output: Contribution to journalArticleResearch

    Original languageEnglish
    Pages (from-to)417-424
    JournalArtificial Inteligence Research and Development
    Issue number113
    Publication statusPublished - 1 Jan 2004

    Cite this