Skip to menu

OKRC 2018
Publication
Conferences

 ER 2018 

(Behavior Ontology)

 PoEM 2018 

(dTp-Calculus)

Journals

 InTech 

(dT-Calculus)

 SoSS 

(ADONIS)

 State Minimization 

(Choice/d-Calculus/SAVE)

 State Minimization 

(Behavior Ontology/PRISM)

 Analysis 

(GTS Logic)

Books