MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Katharina Spies" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Software and system modeling based on a unified formal semantics  
  • by Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies — 1998 — Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97. Lecture Notes in Computer Science 1526
  • … Paech, Bernhard Rumpe, and Katharina Spies Fakultat fur Informatik, Technische Universitat Munchen fbroy…
  • Cited by 3 (0 self) – Add To MetaCart
  • AutoFocus - A Tool for Distributed Systems Specification  
  • by Franz Huber, Bernhard Schätz, Alexander Schmidt, Er Schmidt, Katharina Spies — 1996 — Proceedings FTRTFT’96 - Formal Techniques in Real-Time and Fault-Tolerant Systems
  • … Schmidt, Katharina Spies Institut fur Informatik, Technische Universitat Munchen D-80333 Munchen, Germany…
  • Cited by 31 (4 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB