1,068
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      UK Computing Summit 2025: Navigating change (surviving and beyond) - 29-30 April @ Sheffield Hallam University - Register here.

      scite_
      0
      0
      0
      0
      Smart Citations
      0
      0
      0
      0
      Citing PublicationsSupportingMentioningContrasting
      View Citations

      See how this article has been cited at scite.ai

      scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A Logic to Specify and Verify Synchronous Transitions

      Published
      proceedings-article
      ,
      3rd Irish Workshop on Formal Methods (IWFM)
      Formal Methods
      1st - 2nd July 1999
      Bookmark

            Abstract

            Content

            Author and article information

            Contributors
            Conference
            July 1999
            July 1999
            : 1-16
            Affiliations
            [0001]Instituto de Informática, UFRGS

            Porto Alegre, RS, Brazil
            Article
            10.14236/ewic/IWFM1999.14
            50b2d036-9254-4a2c-92f4-7e2195d981af
            © Vanderlei Moraes Rodrigues et al. Published by BCS Learning and Development Ltd. 3rd Irish Workshop on Formal Methods

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            3rd Irish Workshop on Formal Methods
            IWFM
            3
            Galway, Ireland
            1st - 2nd July 1999
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM1999.14
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article