External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Testing SPIN s LTL Formula Conversion into Büchi Automata with Randomly Generated Input

Heikki Tauriainen, Keijo Heljanko. Testing SPIN s LTL Formula Conversion into Büchi Automata with Randomly Generated Input. In Klaus Havelund, John Penix, Willem Visser, editors, SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Volume 1885 of Lecture Notes in Computer Science, pages 54-72, Springer, 2000.

Authors

Heikki Tauriainen

This author has not been identified. Look up 'Heikki Tauriainen' in Google

Keijo Heljanko

This author has not been identified. Look up 'Keijo Heljanko' in Google
runs on