Publications by Toni Jussila

2005

  • JOURNAL:
  • International Journal on Software Tools for Technology Transfer
  • VOLUME:
  • 7
  • PAGES:
  • 89 -- 101
  • [URL]
  • [PUBURL]

2004

  • BOOKTITLE:
  • Proceedings of the International Conference on Application of Concurrency to System Design (ACSD'2004)
  • [PUBURL]
  • BOOKTITLE:
  • Concurrency, Specification and Programming CS&P'2004
  • [PUBURL]
  • BOOKTITLE:
  • Proceedings of the 4th Annual Finnish / Baltic Sea Conference on Computer Science Education
  • [PUBURL]

2003

  • BOOKTITLE:
  • Proceedings of the 1st International Workshop on Bounded Model Checking
  • SERIES:
  • ENTCS
  • VOLUME:
  • 89
  • [PUBURL]
  • [URL]
  • [PUBURL]
  • [URL]
  • [PUBURL]

2002

  • [PUBURL]
  • BOOKTITLE:
  • Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence
  • PAGES:
  • 59--66
  • [PUBURL]