A proof system for communicating sequential processes -final edition

Research output: Book/Report › Report › Academic

Keywords

@book{2cc2542e7b984b008a46defceaed3456,

title = "A proof system for communicating sequential processes -final edition",

keywords = "Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "K.R. Apt and \{de Roever\}, W-P",

year = "1980",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "80-04",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - A proof system for communicating sequential processes -final edition

AU - Apt, K.R.

AU - de Roever, W-P

PY - 1980

Y1 - 1980

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 80-04

BT - A proof system for communicating sequential processes -final edition

PB - Unknown Publisher

CY - Utrecht

ER -