Disjoint Fibring of Non-deterministic Matrices.

Sun, 01 Jan 2017 00:00:00 +0100

Sérgio Marcelino , Carlos Caleiro:
Disjoint Fibring of Non-deterministic Matrices. WoLLIC 2017: 242-255