thesis

Modal Action Logics for Reasoning about Reactive Systems

Authors
Publication date
1 January 2003
Publisher
Amsterdam: Vrije Universiteit

Abstract

Meyer, J-.J.Ch. [Promotor]Riet, R.P. [Promotor]van de Wieringa, R. [Promotor

    Similar works

    Full text

    thumbnail-image

    Available Versions

    University of Twente Research Information

    redirect
    oaioai:ris.utwente.nl:publication...
    Last time updated on 12/07/2023

    DSpace at VU

    redirect
    oaioai:dare.ubvu.vu.nl:1871/10323
    Last time updated on 03/09/2013

    NARCIS

    redirect
    Last time updated on 14/10/2017

    NARCIS

    redirect
    Last time updated on 28/08/2019

    NARCIS

    redirect
    Last time updated on 04/09/2017

    Utrecht University Repository

    redirect
    oaioai:dspace.library.uu.nl:1874/...
    Last time updated on 14/06/2016

    VU Research Portal

    redirect
    oaioai:research.vu.nl:publication...
    Last time updated on 18/04/2020