4
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings 

      From Automata Networks to HMSCs: A Reverse Model Engineering Perspective

      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 references2

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

          An Unfolding Algorithm for Synchronous Products of Transition Systems

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

            From Finite State Communication Protocols to High-Level Message Sequence Charts

              Bookmark

              Author and book information

              Book Chapter
              2005
              : 489-502
              10.1007/11562436_35
              6672b89f-0af6-430e-862e-799d17e4fe90
              History

              Comments

              Comment on this book

              Book chapters

              Similar content4,378