MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Sven Panne – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Satchmo: Minimal Model Generation and Compilation (System Description)  
  • by Thomas Brüggemann, François Bry, Thomas Bruggemann, Norbert Eisinger, Norbert Eisinger, Tim Geisler, Tim Geisler, Sven Panne, Sven Panne, Heribert Schutz, Heribert Schutz, Sunna Torge, Sunna Torge, Adnan Yahya, Adnan Yahya — 1996
  • …) Thomas Bruggemann Fran��cois Bry Norbert Eisinger Tim Geisler Sven Panne Heribert Schutz Sunna Torge…
  • Cited by 1 (0 self) – Add To MetaCart
  • SatAM - An Abstract Machine for Model generation with PUHR Tableaux  
  • by Alexander von Drach, David Sacher, Aufgabensteller Prof, Dr. Fran��cois Bry, Betreuer Dipl. -inf, Tim Geisler, Dipl. -inf Sven Panne — 1998
  • ….-Inf. Sven Panne 3 Contents 1 Introduction 1 2 The PUHR Tableau Method 3 3 Systematic Development…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB