TILCO-X, an extension of TILCO temporal logic / P. Bellini;P. Nesi. - STAMPA. - (2001), pp. 15-25. (Intervento presentato al convegno Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems) [10.1109/ICECCS.2001.930160].

TILCO-X, an extension of TILCO temporal logic

BELLINI, PIERFRANCESCO;NESI, PAOLO
2001

2001
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems
P. Bellini;P. Nesi
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/654274
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 6
social impact