Fernando Naufel do Amaral
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Completeness of an action logic for timed transition Systems Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 151 - 1592000CZYSTY TEKST
Fernando Naufel do Amaral, Edward Hermann Haeusler, Completeness of an action logic for timed transition Systems, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 151 - 159
BIBTEX@Article{ authors = " Fernando Naufel do Amaral, Edward Hermann Haeusler", title = "Completeness of an action logic for timed transition Systems", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "151 - 159" }
