14
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Entertainment Computing - ICEC 2006 

      Symbolic Model Generation for Graph Properties

      other
      , ,
      Springer Berlin Heidelberg

      Read this book at

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

          Related collections

          Most cited references25

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

          THE EXPRESSION OF GRAPH PROPERTIES AND GRAPH TRANSFORMATIONS IN MONADIC SECOND-ORDER LOGIC

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

            Handbook of Graph Grammars and Computing by Graph Transformation

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

              Query languages for graph databases

                Bookmark

                Author and book information

                Book Chapter
                2017
                March 22 2017
                : 226-243
                10.1007/978-3-662-54494-5_13
                0b2794dc-e4eb-4cdb-98a6-f336bbc7bdf0
                History

                Comments

                Comment on this book

                Book chapters

                Similar content4,222

                Cited by2