For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
7
views
Article has an altmetric score of 1
17
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      1,504
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      AsmetaF: A Flattener for the ASMETA Framework

      Author(s): 1 , 2 , 2
      Publication date Created:
      Publication date (Electronic):
      Journal: Electronic Proceedings in Theoretical Computer Science
      Publisher: 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

          Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia … (2002)
          Article 0 comments Cited 87 times – based on 0 reviews
            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            Abstract State Machines

            Egon Börger, Robert Stark (2003)
            Book 0 comments Cited 53 times – based on 0 reviews
            Article has an altmetric score of 8
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

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

              Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene … (2011)
              Article 0 comments Cited 9 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

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

                ScienceOpen disciplines: Developmental biology,Ecology
                Data availability:
                ScienceOpen disciplines: Developmental biology, Ecology

                Comments

                Comment on this article

                scite_
                4
                0
                2
                0
                Smart Citations
                4
                0
                2
                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,504

                See all similar

                Most referenced authors84

                See all reference authors