A proof system for communicating sequential processes

DSpace/Manakin Repository

Apt, K.R.; de Roever, W-P

(1979) Utrecht University Repository

(Report)

Download/Full Text

Unknown

Keywords: Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client

ISBN: 0924-3275

Publisher: Unknown Publisher

See more statistics about this item