Mechanizing compositional reasoning for concurrent systems: some lessons
about
Mechanizing compositional reasoning for concurrent systems: some lessons
description
article
@en
im Februar 2005 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в лютому 2005
@uk
name
Mechanizing compositional reasoning for concurrent systems: some lessons
@en
Mechanizing compositional reasoning for concurrent systems: some lessons
@nl
type
label
Mechanizing compositional reasoning for concurrent systems: some lessons
@en
Mechanizing compositional reasoning for concurrent systems: some lessons
@nl
prefLabel
Mechanizing compositional reasoning for concurrent systems: some lessons
@en
Mechanizing compositional reasoning for concurrent systems: some lessons
@nl
P1476
Mechanizing compositional reasoning for concurrent systems: some lessons
@en
P2093
Sidi O. Ehmety
P2888
P356
10.1007/S00165-004-0053-6
P577
2005-02-10T00:00:00Z