MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Michel Bidoit" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 34 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Externalized and internalized notions of behavioral refinement  
  • by Michel Bidoit, Rolf Hennicker — 2005 — Proceedings of the 2nd International Colloquium on Theoretical Aspects of Computing (ICTAC’05), volume 3722 of Lecture Notes in Computer Science
  • …Externalized and Internalized Notions of Behavioral Refinement ⋆ Michel Bidoit 1 Rolf Hennicker 2…
  • Cited by 1 (1 self) – Add To MetaCart
  • Algebraic Abstractions  
  • by Michel Bidoit, Re Boisseau — 2001 — In: 15th Workshop on Algebraic Development Techniques WADT’01, Lecture Notes in Computer Science 2267
  • … ? Michel Bidoit and Alexandre Boisseau Laboratoire Spcification et Vrification (LSV), CNRS & ENS de Cachan…
  • Cited by 1 (0 self) – Add To MetaCart
  • Observational logic  
  • by Rolf Hennicker, Michel Bidoit — 1999 — In Algebraic Methodology and Software Technology (AMAST'98
  • …Observational Logic Rolf Hennicker*, Michel Bidoit** *Institut für Informatik, Ludwig…
  • Cited by 48 (10 self) – Add To MetaCart
  • On the Integration of Observability and . . .  
  • by Michel Bidoit, Rolf Hennicker — 2002 — FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, LNCS
  • … Concepts ? Michel Bidoit 1 and Rolf Hennicker 2 1 Laboratoire Specication et Verication (LSV), CNRS…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB