A Process Algebra Based Verification of a Production System (1998)

Cached

Download Links

by J. J. T. Kleijn , J. E. Rooda , M.A. Reniers
Venue:Proceedings of the 2nd IEEE international
Citations:4 - 2 self