Kyungmin Bae

Identifiers

No identifiers captured yet.

Papers (1)

1. A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets cs.LO · 2024 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Carlos Olarte 1 shared papers
• Jaime Arias 1 shared papers
• Laure Petrucci 1 shared papers
• Peter Csaba \"Olveczky 1 shared papers