research

Distinguishing extended finite state machine configurations using predicate abstraction

Authors
    Publication date
    31 March 2016
    Publisher
    Springer
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Springer - Publisher Connector

        redirect
        Last time updated on 01/05/2017