Conference Proceeding
Details
Citation
Magill E (1992) Intelligent Networks: Computer Aided Analysis for SLP Specification. In: IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying. Digest, 008. IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying, London, 14.01.1992-14.01.1992. Piscataway, NJ: Institue of Electrical and Electronics Engineers. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=167608&sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A4306%29
Status | Published |
---|---|
Title of series | Digest |
Number in series | 008 |
Publication date | 31/12/1992 |
Publication date online | 31/01/1992 |
Publisher | Institue of Electrical and Electronics Engineers |
Publisher URL | http://ieeexplore.ieee.org/…Number%3A4306%29 |
Place of publication | Piscataway, NJ |
Conference | IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying |
Conference location | London |
Dates |