mCRL2 nextstate generatie (lps-reach en friends)
mCRL2 nextstate generatie (lps-reach en friends)

Op het moment zijn er 2 manieren om ltsmin met mCRL2 te gebruiken:
1. ltsmin release + mCRL2 release January *2009*
2. ltsmin mcrl2-svn branch + mCRL2 trunk (>=r7730)
De andere combinaties kunnen problemen hebben met state space exploratie.

alaarman/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,alaarman/ltsmin,Sybe/composition,Meijuh/ltsmin,vbloemen/ltsmin,trolando/ltsmin,buschko/ltsmin,vbloemen/ltsmin,Sybe/composition,alaarman/ltsmin,thedobs/LTSmin,thedobs/LTSmin,Meijuh/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,Sybe/composition,buschko/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,trolando/ltsmin,trolando/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,buschko/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,alaarman/ltsmin,Sybe/composition,thedobs/LTSmin,alaarman/ltsmin,buschko/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin