Towards the formal development of terminating reactive systems

Authors
Publication date
1 January 1991
Publisher
'Project Euclid'

Abstract

Doctorat en sciences appliquées -- UCL, 199

    Similar works

    Full text

    thumbnail-image

    Available Versions

    DIAL UCLouvain

    redirect
    oaioai:dial.uclouvain.be:boreal:2...
    Last time updated on 10/05/2019