Fingerprint
Dive into the research topics where L.S.J. Theunissen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 1 Conference contribution
-
LTL-based Specifications for P4 Program Synthesis
Theunissen, L., Dumančić, S. & Kuipers, F., 2025, FMANO '25: Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation. New York, NY: Association for Computing Machinery (ACM), p. 7-12 6 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile2 Downloads (Pure)