MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Symbolic Symbolic State Space Representation." – 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
  • Universite Paris 6 - CNRS - Laboratoire d'informatique de Paris 6, Paris, France, September 1999.  
  • by Hp Serge Haddad, Publications Of Denis Poitrenaud, Bcg François Bréant, Jean-michel Couvreur, Frédéric Gilliers, Isabelle Mounier, Emmanuel Paviot-adet, Denis Poitrenaud, Dan Regep, Grégoire Sutre, Formal Methods Embedded, Bp Robert Brgan — 2005
  • …ions and Theory of Petri Nets (ICATPN'00), Lecture Notes in Computer Science, Aarhus, Denmark, June 2000. Springer-Verlag. [TMIP04] Yann Thierry-Mieg, Jean-Michel Ilie, and Denis Poitrenaud. A symbolic symbolic state space representation. In David de FrutosEscrig and Manuel Nunez, editors, Proceedi…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB