A toolset for the analysis of et-lotos specifications
| Data(s) |
1998
|
|---|---|
| Resumo |
info:eu-repo/semantics/published |
| Formato |
1 full-text file(s): application/pdf |
| Identificador |
https://dipot.ulb.ac.be/dspace/bitstream/2013/74331/1/HDM98.pdf http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/74331 |
| Idioma(s) |
en |
| Direitos |
1 full-text file(s): info:eu-repo/semantics/closedAccess |
| Fonte |
In: Groote, Jan Friso, Luttik, Sebastiaan Pascal& Van Wamel, Jacobus Johannes (Eds.), Proceedings of the third international Workshop on Formal Methods for Industrial Critical Systems |
| Palavras-Chave | #Informatique mathématique |
| Tipo |
info:eu-repo/semantics/conferencePaper info:ulb-repo/semantics/conferencePaper info:ulb-repo/semantics/openurl/proceeding |
