Applying a temporal logic to the RPC-memory specification problem Chapter uri icon

publication date

  • January 1, 1996

start page

  • 253

end page

  • 273