Login / Signup

Lightweight DSL for Describing Extensible Transition Systems.

Seiji Umatani
Published in: SAC (2024)
Keyphrases