gts-morpher

Popular repositories Loading

1. gts_morpher gts_morpher Public

   Tool for building GTS Morphisms and Amalgamations

   Xtend 5

2. timed_pls_gemoc timed_pls_gemoc Public

   A version of timed PLS for GEMOC Studio

   Java