A Precise Characterisation of Step Traces and Their Concurrent Histories.
- Published in:
- Scientific Annals of Computer Science, 2018, v. 28, n. 2, p. 237, doi. 10.7561/SACS.2018.2.237
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2018 AND VI 28 AND IP 2
Results: 6
1
2
Fault-Free Refinements for Interface Automata.
- Published in:
- Scientific Annals of Computer Science, 2018, v. 28, n. 2, p. 289, doi. 10.7561/SACS.2018.2.289
- By:
- Publication type:
- Article
3
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.
- Published in:
- Scientific Annals of Computer Science, 2018, v. 28, n. 2, p. 269, doi. 10.7561/SACS.2018.2.269
- By:
- Publication type:
- Article
4
Simultaneous Petri Net Synthesis.
- Published in:
- Scientific Annals of Computer Science, 2018, v. 28, n. 2, p. 199, doi. 10.7561/SACS.2018.2.199
- By:
- Publication type:
- Article
5
Pattern Matching in Link Streams: Timed-Automata with Finite Memory.
- Published in:
- Scientific Annals of Computer Science, 2018, v. 28, n. 2, p. 161, doi. 10.7561/SACS.2018.2.161
- By:
- Publication type:
- Article
6
High-Level Koutny Net.
- Published in:
- Scientific Annals of Computer Science, 2018, v. 28, n. 2, p. 157, doi. 10.7561/SACS.2018.2.157
- By:
- Publication type:
- Article