Compressing the State Space Representation of LOTOS Specifications.

Juan Quemada, David Larrabeiti, Santiago Pavn

Browse the full FORTE paper archive.