View in EDS

The Design of a Multicore Extension of the SPIN Model Checker.

Saved in:
Bibliographic Details
Title: The Design of a Multicore Extension of the SPIN Model Checker.
Authors: Holzmann, Gerard J., Bosnacki, Dragan
Source: IEEE Transactions on Software Engineering; October 2007, Vol. 33 Issue 10, p659-674, 16p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first