70123016

a

70123016 Basin, David A. Caleiro, Carlos Ramos, Jaime Vigan\`o, Luca A labeled tableaux systemfor the distributed temporal logic DTL TIME, 101-109 (2008). 2008 EN

doi:10.1109/TIME.2008.21