A logic for the stepwise development of reactive systems

Madeira, Alexandre, Soares Barbosa, Luís, Hennicker, Rolf and Martins, Manuel, (2018). A logic for the stepwise development of reactive systems. Theoretical Computer Science, 744 78-96
Document type:
Article

Document type:
Article

This record has been deleted.

  • Versions
    Version Filter Type
  • Citation counts
    Google Scholar Search Google Scholar
    Access Statistics: 626 Abstract Views  -  Detailed Statistics
    Created: Fri, 31 Jan 2020, 23:29:59 JST by Mario Peixoto on behalf of UNU EGOV