default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 10, 2015

> Home > Journals > Transactions on Petri Nets and Other Models of Concurrency

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/2015-10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2015-10
Maciej Koutny, Jörg Desel, Serge Haddad:
Transactions on Petri Nets and Other Models of Concurrency X. Lecture Notes in Computer Science 9410, Springer 2015, ISBN 978-3-662-48649-8
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BergenthumS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BergenthumS15
Robin Bergenthum, Joachim Schick:
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/ShilS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/ShilS15
Assia Ben Shil, Kaouther Blibech Sinaoui:
An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model. 19-33
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Klai15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Klai15
Kais Klai:
Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets. 34-54
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/NiewiadomskiP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/NiewiadomskiP15
Artur Niewiadomski, Wojciech Penczek:
SMT-Based Abstract Parametric Temporal Planning. 55-83
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/PhawadeL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/PhawadeL15
Ramchandra Phawade, Kamal Lodaya:
Kleene Theorems for Synchronous Products with Matching. 84-108
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/PuraB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/PuraB15
Mihai-Lica Pura, Didier Buchs:
Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies. 109-130
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/RadhouaniILR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/RadhouaniILR15
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb:
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling. 131-152
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KhomenkoG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KhomenkoG15
Victor Khomenko, Vasileios Germanos:
Modelling and Analysis Mobile Systems Using \pi -calculus (EFCP). 153-175

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.