7
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      AsmetaF: A Flattener for the ASMETA Framework

      1 , 2 , 2
      Electronic Proceedings in Theoretical Computer Science
      Open Publishing Association

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references17

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          NuSMV 2: An OpenSource Tool for Symbolic Model Checking

            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            Abstract State Machines

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              A model-driven process for engineering a toolset for a formal method

                Bookmark

                Author and article information

                Journal
                Electronic Proceedings in Theoretical Computer Science
                Electron. Proc. Theor. Comput. Sci.
                EPTCS
                Open Publishing Association
                2075-2180
                November 27 2018
                November 27 2018
                : 284
                : 26-36
                Affiliations
                [1 ]National Institute of Informatics
                [2 ]Dipartimento di Informatica, Università degli Studi di Milano
                Article
                10.4204/EPTCS.284.3
                9f3b3c86-095c-4c79-98dc-c3968012c40f
                © 2018
                History

                Developmental biology,Ecology
                Developmental biology, Ecology

                Comments

                Comment on this article

                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.

                Similar content1,152

                Most referenced authors84