Devising a formal specification for an elevator controller

Authors
Publication date
Publisher

Abstract

nature is hereby granted provided that this copyright notice is retained on all copies. All other rights are reserved by the author

    Similar works

    Full text

    thumbnail-image

    Available Versions

    CiteSeerX

    redirect
    oaioai:CiteSeerX.psu:10.1.1.65.88...
    Last time updated on 22/10/2014