Fernando Naufel do Amaral

1 artykuły w 1 czasopismach

• Completeness of an action logic for timed transition Systems Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 151 - 159

  ROK: 2000

  Fernando Naufel do Amaral Edward Hermann Haeusler

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat