Start Over
You searched for: author_facet Ehrig, Hartmut

Search Results

Cover image for Formal methods in software and systems modeling

Formal methods in software and systems modeling

  • 2005
  • Format: Electronic
Location
Access Content Online
Cover image for Graph transformations

Graph transformations

Location
Access Content Online
Cover image for Integration of software specification techniques for applications in engineering

Integration of software specification techniques for applications in engineering

  • 2004
  • Format: Electronic
Location
Access Content Online
Cover image for Graph transformations

Graph transformations

Location
Access Content Online
Cover image for Integration of software specification techniques for applications in engineering

Integration of software specification techniques for applications in engineering

  • 2004
  • Format: Electronic
Location
Access Content Online
Cover image for Petri net technology for communication-based systems

Petri net technology for communication-based systems

  • 2003
  • Format: Electronic
Location
Access Content Online
Cover image for Petri net technology for communication-based systems

Petri net technology for communication-based systems

  • 2003
  • Format: Book
Location Call # Status
Joyner - General Stacks TK5105.5 .P49 2003 ✔ Available
Cover image for Unifying Petri nets

Unifying Petri nets

  • 2001
  • Format: Electronic
Location
Access Content Online
Cover image for Unifying Petri nets

Unifying Petri nets

  • 2001
  • Format: Electronic
Location
Access Content Online
Cover image for Theory and application of graph transformations

Theory and application of graph transformations

  • 2000
  • Format: Book
Location Call # Status
Joyner - General Stacks QA267.3 .G68 2000 ✔ Available