• Bibliographic reference:
    \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",
    }
    


    copyright notice, Springer copyright
    Last modified: Monday, 04-Jan-2010 13:16:30 CET