Combining interaction and automation in process algebra verification

Camilleri, A.
Inverardi, P.
Nesi, M
Hewlett-Packard Laboratories, Bristol (United Kingdom)

Open link

Publication date

January 1991

DOI

10.1007/3540539816_72

ISSN

0302-9743

Citation count (estimate)

Abstract

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-13) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

We use cookies to provide a better user experience.

Data Protection

Combining interaction and automation in process algebra verification

Abstract

Extracted data

Combining interaction and automation in process algebra verification

Abstract

Extracted data

Related items

Related items