Fairness assumptions for CSP in a temporal logic framework / P. Kuiper & W.P. de Roever
type: Book
type: CreativeWork
type: ProductModel
issued: 1982
about: p075603233
author: p07328405X
author: p075297108
contributor: p068477848
description: Voordruk
language: en
is part of: p822717859
main entity of page: https://data.bibliotheken.nl/.well-known/genid/f511c0ad3368e96a43d742a41edea1bc
name: Fairness assumptions for CSP in a temporal logic framework
number of pages: 10