Published May 31, 2022
| Version v2
Software
Open
Artifact for paper implicit state machines LCTES 2022
Description
This is the artifact for the paper "implicit state machines" at LCTES 2022.
Note that DSL is an old version and thus deprecated. We are working on a newer version with a better design.
Files
lctes22-artifact.zip
Files
(673.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d6ae1d5c8d7d040220b4a2f4135ee2dc
|
673.7 kB | Preview Download |