learning_tla/learn_tla/wire/wire.toolbox/Model_1/MC.tla
2025-02-04 18:16:28 +01:00

6 lines
199 B
Text

---- MODULE MC ----
EXTENDS wire, TLC
=============================================================================
\* Modification History
\* Created Tue Feb 04 09:39:02 CET 2025 by fredericmarand