formalized in

URI: https://gptkb.org/prop/formalized_in
3 triples
GPTKB property
Random triples
Subject Object
gptkb:colored_Petri_nets gptkb:Coloured_Petri_Nets:_Basic_Concepts,_Analysis_Methods_and_Practical_Use_(book)
gptkb:Algebraic_data_type gptkb:logic
gptkb:I/O_automaton theory of distributed systems