Holger Sturm
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
The true bisimulations for 'since' and 'until' Opublikowano w: Logic and Logical Philosophy 2002 / Tom 10 / s. 173 - 183ROK: 2002CZYSTY TEKSTBIBTEX
