Modeling and Exploitation of Interaction and Concurrency

@inproceedings{2014ModelingAE,
  title={Modeling and Exploitation of Interaction and Concurrency},
  author={},
  year={2014}
}
  • Published 2014

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
0 Extracted Citations
79 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 79 references

Verification Based on Unfoldings of Petri Nets with Read Arcs, École normale supérieure de Cachan - ENS Cachan

  • C. RODRÍGUEZ
  • 2013
Highly Influential
10 Excerpts

B

  • B. BOLLIG, P. HABERMEHL, M. LEUCKER
  • MONMEGE. , A Robust Class of Data Languages and…
  • 2013

Similar Papers

Loading similar papers…