Applying a temporal logic to the RPC-memory specification problem
Chapter
Overview
publication date
- January 1, 1996
has subject area
published in
Identity
Digital Object Identifier (DOI)
Additional Document Info
start page
- 253
end page
- 273