Techniques for formal verification of concurrent and distributed program traces

Techniques for formal verification of concurrent and distributed program traces

Not available === text

Bibliographic Details
Main Author: Sen, Mehmet Alper
Format: Others
Language:English
Published: 2008
Subjects:
Computer programs > Verification
Computer algorithms
Online Access:http://hdl.handle.net/2152/2189

Internet

http://hdl.handle.net/2152/2189

Similar Items