Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 Array
|
|
sorted by
|
|
Modelling Railway Interlocking Tables Using Coloured Petri Nets12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.137-151, ⟨10.1007/978-3-642-13414-2_10⟩
Conference papers
hal-01054630v1
|