MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Stefan Gruner" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Abstract conjunctive partial deduction using regular types and its application to model checking
by Michael Leuschel, Stefan Gruner — 2001 — In Proc. of LOPSTR, number 2372 in LNCS
… Michael Leuschel and Stefan Gruner Department of Electronics and Computer Science University…
Cited by 8 (0 self) – Add To MetaCart

A New Tool for the Simulation And Visualization of Distributed Algorithms
by Stefan Gruner, Mohamed Mosbah, Michel Bauderon — 2000
…A New Tool for the Simulation And Visualization of Distributed Algorithms Stefan Gruner j Mohamed…
Cited by 3 (2 self) – Add To MetaCart

Concurrent Development of Model and Implementation
by Andrew Gravell Yvonne, Yvonne Howard, Juan C. Augusto, Carla Ferreira, Stefan Gruner — 2003
…. Augusto, Carla Ferreira, and Stefan Gruner University of Southampton, Southampton SO17 1BJ, England Phone…
Add To MetaCart

Model-based trace-checking
by Yvonne Howard, Stefan Gruner, Andrew M Gravell, Carla Ferreira, Juan Carlos Augusto — 2003 — In SoftTest: UK Software Testing Research Workshop II
…Model-Based Trace-Checking Yvonne Howard, Stefan Gruner, Andrew M Gravell, Carla Ferreira, Juan…
Cited by 2 (0 self) – Add To MetaCart

Model-Based Trace-Checking
by Yvonne Howard Stefan, Stefan Gruner, Andrew M Gravell, Carla Ferreira, Juan Carlos Augusto — 2003 — In SoftTest: UK Software Testing Research Workshop II
…Model-Based Trace-Checking Yvonne Howard, Stefan Gruner, Andrew M Gravell, Carla Ferreira, Juan…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB