ltsmin icon indicating copy to clipboard operation
ltsmin copied to clipboard

Published 20 hours ago • verified publisher icon utwente-fmt

Remove traces of -grey from ltsmin

Open Meijuh opened this issue 10 years ago • 1 comments

  • Split PINS in must-implement and may-implement functions
  • Rename GB** to pins____
  • Explain ltstype functions (which must be implemented)
  • Rename action matrix to update matrix

Create a separate document on how to implement PINS

Meijuh avatar Feb 02 '15 15:02 Meijuh