Showing 1 - 9 results of 9 for search 'Jensen, Kurt', query time: 0.03s Refine Results
  1. 1
    Coloured Petri Nets Modelling and Validation of Concurrent Systems /
    by Jensen, Kurt, Kristensen, Lars M.
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Published 2004
    Other Authors: “…Jensen, Kurt…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Transactions on Petri Nets and Other Models of Concurrency III
    Published 2009
    Other Authors: “…Jensen, Kurt…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Transactions on Petri Nets and Other Models of Concurrency IV
    Published 2010
    Other Authors: “…Jensen, Kurt…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Transactions on Petri Nets and Other Models of Concurrency V
    Published 2012
    Other Authors: “…Jensen, Kurt…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
    Published 2009
    Other Authors: “…Jensen, Kurt…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Transactions on Petri Nets and Other Models of Concurrency I
    Published 2008
    Other Authors: “…Jensen, Kurt…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Transactions on Petri Nets and Other Models of Concurrency VII
    Published 2013
    Other Authors: “…Jensen, Kurt…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Transactions on Petri Nets and Other Models of Concurrency VI
    Published 2012
    Other Authors: “…Jensen, Kurt…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search