Conference Proceeding

Intelligent Networks: Computer Aided Analysis for SLP Specification

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

StatusPublished
Title of seriesDigest
Number in series008
Publication date31/12/1992
Publication date online31/01/1992
PublisherInstitue of Electrical and Electronics Engineers
Publisher URLhttp://ieeexplore.ieee.org/…Number%3A4306%29
Place of publicationPiscataway, NJ
ConferenceIEE Colloquium on Automating Formal Methods for Computer Assisted Prototying
Conference locationLondon
Dates