If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Other contribution
2011

Refinement & Synthesis - Distributed Event Clock Automata

Ortiz Vega, J. J., Schobbens, P-Y. & Legay, A., 2011, 1 p. Brussels

Research output: Other contribution

File
16 Downloads (Pure)