MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Robert de Simone" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 21 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The FCTOOLS User Manual (Version 1.0)  
  • by Valérie Roy, Amar Bouali, Amar Bouali, Annie Ressouche, Annie Ressouche, Robert de Simone, Robert De Simone, Projet Meije — 1996
  • … The FCTOOLS User Manual (Version 1.0) Amar Bouali, Annie Ressouche, Valerie Roy, Robert de Simone N 191 Avril…
  • Cited by 1 (0 self) – Add To MetaCart
  • The SL Synchronous Language  
  • by Frederic Boussinot, Calcul Symbolique, Robert de Simone, Robert De Simone — 1996 — IEEE Trans. on Software Engineering
  • … AUTOMATIQUE The SL Synchronous Language Frederic Boussinot , Robert de Simone N 2510 Mars 1995 PROGRAMME 2…
  • Cited by 19 (6 self) – Add To MetaCart
  • Symbolic Bisimulation Minimisation  
  • by Amar Bouali, Robert de Simone — In Computer Aided Verification
  • …@(email omitted); Robert de Simone I.N.R.I.A. Sophia-Antipolis FRANCE rs@(email omitted); Abstract We adapt the Coarsest…
  • Cited by 27 (6 self) – Add To MetaCart
  • TIMESQUARE: a software environment for timed systems  
  • by Benoît Ferrero, Charles André, Frédéric Mallet, Robert De Simone
  • … MALLET, Robert de SIMONE {benoit.ferrero,charles.andre,frederic.mallet,robert.de_simone}@(email omitted); AOSTE…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB