Login / Signup
SpinS: Extending LTSmin with Promela through SpinJa.
Freark I. van der Berg
Alfons Laarman
Published in:
Electron. Notes Theor. Comput. Sci. (2013)
Keyphrases
</>