[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Philipp W. Kutter, "An ASM Macro Language for Sets", TIK-Report Nr. 34, January 1998. |
---|---|
Summary: | A small set of simple, generic macros that allow one to manipulate and parameterize sets in ASMs, without changing the semantics given in the Lipari Guide. |
Subjects: | ASM Extensions |
Download: | PostScript, PDF, Compressed PostScript |
Notes: |