Amanote Research
Register
Sign In
Discrete Time Process Algebra and the Semantics of SDL
doi 10.1016/b978-044482830-9/50036-9
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2001
Authors
J.A. Bergstra
C.A. Middelburg
Y.S. Usenko
Publisher
Elsevier