Personal Data
- Username:
- matthiasanlauff
- Joined:
- 2002-03-04 20:54:53
Projects
This is a list of open source software projects that Matthias Anlauff is associated with:
- XASM An XOCL (ECore + OCL) based implementation of the Gurevich ASMs Last Updated:
- eXtensible Abstract State Machines Last Updated: