research

PROGRAMMING REACTIVE SYSTEMS IN TEMPORAL LOGIC

Authors
Publication date
1 October 1990
Publisher
Stern School of Business, New York University

Abstract

Information Systems Working Papers Serie

    Similar works

    Full text

    thumbnail-image

    Available Versions

    DSpace at New York University

    redirect
    Last time updated on 07/01/2019

    New York University Faculty Digital Archive

    redirect
    oaihttp://hdl.handle.net/2451/144...
    Last time updated on 03/08/2016