Treffer 1 - 7 von 7 für Suche 'Kristensen, Lars M.', Suchdauer: 0,23s Treffer weiter einschränken
  1. 1
    Coloured petri nets : modelling and validation of concurrent systems
    von Jensen, Kurt
    Veröffentlicht 2009
    Verlagsangaben
    Cover
    Kapitel 1
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Coloured Petri Nets : modelling and validation of concurrent systems
    von Jensen, Kurt
    Veröffentlicht 2009
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Applications and theory of Petri nets : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 ; proceedings
    Veröffentlicht 2011
    Inhaltstext
    Cover
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Pt. 2: Proceedings of the Satellite Workshop on Formal Methods Applied to Defence Systems
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Application and theory of petri nets and concurrency : 45th international conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024 : proceedings
    Veröffentlicht 2024
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Transactions on Petri nets and other models of concurrency XIII
    Veröffentlicht 2018
    Inhaltstext
    Full Text
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Transactions on Petri Nets and Other Models of Concurrency XIV
    Veröffentlicht 2020
    Inhaltstext
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: