CNR Institutional Research Information System

No abstract available

Squiggles: a tool for the analysis of LOTOS specifications

Bolognesi T;
1989

Abstract

No abstract available
1989
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
Turner, K.J.
Proceedings of the First International Conference on Formal Description Techniques - FORTE'88
FORTE 1988 First International Conference on Formal Description Techniques
201
216
0-444-87126-8
North Holland Pub. Co.
Amsterdam
PAESI BASSI
Sì, ma tipo non specificato
6-9/09/1988
Stirling, Scotland
Squiggles
Analysis of LOTOS specifications
LOTOS
codice puma /cnr.iei/1989-A2-023 (codice orig. IEI-A2-23) - file allegato non presente in Puma
2
none
Bolognesi, T; Caneve, M
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/368832
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact