2000, Towards modelling and verification of concurrent Ada programs using (0)

by A Burns, A Wellings, F Burns, A Koelmans, M Koutny, A Romanovsky, A Yakovlev
Venue:Petri-nets, Workshop on Software Engineering and Petri Nets,21st Int. Conf. App. Theory of Petri Nets