MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Toni Jussila" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Parallel Program Verification Using BMC  
  • by Toni Jussila, Ilkka Niemelä — 2002 — In: ECAI 2002 Workshop on Model Checking and Artificial Intelligence
  • …Parallel Program Verification Using BMC Toni Jussila, Ilkka Niemel a 12 Abstract. The paper…
  • Cited by 1 (0 self) – Add To MetaCart
  • On bounded model checking of asynchronous systems  
  • by Abteknillinen Korkeakoulu, Universite De, Toni Jussila, Toni Jussila, Tietotekniikan Osasto, C Toni Jussila, Otamedia Oy — 2005
  • … ON BOUNDED MODEL CHECKING OF ASYNCHRONOUS SYSTEMS Toni Jussila ABTEKNILLINEN KORKEAKOULU TEKNISKA HÖGSKOLAN…
  • Cited by 2 (0 self) – Add To MetaCart
  • BMC via On-the-Fly Determinization  
  • by Toni Jussila, Keijo Heljanko. Ilkka Niemelä, Keijo Heljanko, Ilkka Niemela — 2003
  • …BMC'03 Preliminary Version BMC via On-the-Fly Determinization Toni Jussila a,1,2 Keijo Heljanko…
  • Cited by 4 (1 self) – Add To MetaCart
  • Model Checking Dynamic and Hierarchical  
  • by Uml State Machines, Toni Jussila, Jori Dubrovin, Tommi Junttila, Timo Latvala, Ivan Porres, Johannes Kepler Universität Linz — in: Proceedings of MoDeV 2 a (2006
  • …Model Checking Dynamic and Hierarchical UML State Machines Toni Jussila 1 , Jori Dubrovin 2…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB