\bibitem{NielsonEtAl96-LOPMAS} \newblock F{.}~Nielson, P{.}~Cousot, M{.}~Dam, P{.}~Degano, P{.}~Jouvelot, A{.}~Mycroft, and B{.}~Thomsen. \newblock Logical and Operational Methods in the Analysis of Programs and Systems. \newblock In \emph{Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24--26, 1996, Selected Papers}, pages 1--21. Lecture Notes in Computer Science, volume 1192, Springer, Berlin, 1996. @inproceedings{NielsonEtAl96-LOPMAS, author = "F{.} Nielson and P{.} Cousot and M{.} Dam and P{.} Degano and P{.} Jouvelot and A{.} Mycroft and B{.} Thomsen", title = "Logical and Operational Methods in the Analysis of Programs and Systems", booktitle = "Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24--26, 1996, Selected Papers", series = "Lecture Notes in Computer Science", volume = "1192", pages = "1--21", year = "1996", }
, Springer copyright
Last modified:
Monday, 04-Jan-2010 13:16:30 CET