DMCA

Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets (2000)

Cached

Download Links

by F. Burns , A. J. Wellings , A.M. Koelmans , M. Koutny , A. Romanovsky , A. Yakovlev
Citations:8 - 1 self