A system for compositional verification of asynchronous objects
Ahrendt, Wolfgang, Dylla, MaximilianVolume:
77
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2010.08.003
Date:
October, 2012
File:
PDF, 422 KB
english, 2012