Simeon Veloudis

	2005
3		Simeon Veloudis, Nimal Nissanke: An approach to modelling and analysis of coordinated atomic actions. ETFA 2005
	2000
2		Simeon Veloudis, Nimal Nissanke: Modelling Coordinated Atomic Actions in Timed CSP. FTRTFT 2000: 228-239
	1998
1		Simeon Veloudis, Nimal Nissanke: Duration Calculus in the Specification of Safety Requirements. FTRTFT 1998: 103-112

Coauthor Index

1

Nimal Nissanke

[1] [2] [3]