MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Invited Talk "Model checking" software with VeriSoft." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 593,070 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Invited Talk  
  • by Head Automata And, Hiyan Alshawi
  • …INVITED TALK Head Automata and Bilingual Tiling: Translation with Minimal Representations Hiyan…
  • Add To MetaCart
  • INVITED TALKS 8  
  • by Lernen Wissen Adaption, Alexander Hinneburg, Alexander Schliep, Myra Spiliopoulou
  • …-ABIS (Adaptability and User Modelling in Interactive Software Systems) • FG-IR (Information Retrieval) • FG…
  • Add To MetaCart
  • Invited Talks  
  • by Stefan Heinrich Fb, Stefan Heinrich — 2001
  • …Invited Talks 17 Stefan Heinrich FB Informatik, Geb. 36/212 Universität Kaiserslautern Postfach…
  • Add To MetaCart
  • Invited Talks  
  • by Technische Universität München, Physik-department T, Pd Dr. Annette Bussmann-holder (eps, M. Van Mourik, Martin Weigt, Wolfgang Ketterle
  • … to quantum dimer models, Frederic Mila Invited talks of the symposium Superfluidity See section SYSF…
  • Add To MetaCart
  • Invited Talks 4  
  • by Organised Acet, Prof Vaidy Sunderam, Prof Dr, Roland Potthast — 2005
  • … in Computational Science area. 15:30 - 16:00 Wrap-up Invited Talks Prof. Vaidy Sunderam, Emory University Software…
  • Add To MetaCart
  • (invited talk  
  • by Helko Lehmann, Michael Leuschel — 2004 — Proceedings LOPSTR’03, LNCS 3018
  • … (Invited Talk) Helko Lehmann and Michael Leuschel Department of Electronics and Computer Science University…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB