Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira. Formal specification applied to industrial LAN s design. In 23rd EUROMICRO Conference 97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary. pages 215, IEEE Computer Society, 1997. [doi]
Abstract is missing.