Logical and operational methods in the analysis of programs and systems

F. Nielson; P. Cousot; M. Dam; P. Degano; P. Jouvelot; A. Mycroft; B. Thomsen

doi:10.1007/3-540-62503-8_1

Logical and operational methods in the analysis of programs and systems

F. Nielson, P. Cousot, M. Dam, P. Degano, P. Jouvelot, A. Mycroft, B. Thomsen

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers
Pages	1-21
Number of pages	21
DOIs	https://doi.org/10.1007/3-540-62503-8_1
State	Published - 1997
Event	5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages - Stockholm, Sweden Duration: Jun 24 1996 → Jun 26 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1192 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Country/Territory	Sweden
City	Stockholm
Period	6/24/96 → 6/26/96

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-62503-8_1

Cite this

Nielson, F., Cousot, P., Dam, M., Degano, P., Jouvelot, P., Mycroft, A., & Thomsen, B. (1997). Logical and operational methods in the analysis of programs and systems. In Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers (pp. 1-21). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1192 LNCS). https://doi.org/10.1007/3-540-62503-8_1

Logical and operational methods in the analysis of programs and systems. / Nielson, F.; Cousot, P.; Dam, M. et al.
Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. 1997. p. 1-21 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1192 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Nielson, F, Cousot, P, Dam, M, Degano, P, Jouvelot, P, Mycroft, A & Thomsen, B 1997, Logical and operational methods in the analysis of programs and systems. in Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1192 LNCS, pp. 1-21, 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm, Sweden, 6/24/96. https://doi.org/10.1007/3-540-62503-8_1

Nielson F, Cousot P, Dam M, Degano P, Jouvelot P, Mycroft A et al. Logical and operational methods in the analysis of programs and systems. In Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. 1997. p. 1-21. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-62503-8_1

@inproceedings{294ac69cb14e481e9fb228dfcb82d2e6,

title = "Logical and operational methods in the analysis of programs and systems",

author = "F. Nielson and P. Cousot and M. Dam and P. Degano and P. Jouvelot and A. Mycroft and B. Thomsen",

year = "1997",

doi = "10.1007/3-540-62503-8_1",

language = "English (US)",

isbn = "3540625038",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "1--21",

booktitle = "Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers",

note = "5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages ; Conference date: 24-06-1996 Through 26-06-1996",

}

TY - GEN

T1 - Logical and operational methods in the analysis of programs and systems

AU - Nielson, F.

AU - Cousot, P.

AU - Dam, M.

AU - Degano, P.

AU - Jouvelot, P.

AU - Mycroft, A.

AU - Thomsen, B.

PY - 1997

Y1 - 1997

UR - http://www.scopus.com/inward/record.url?scp=84878633970&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84878633970&partnerID=8YFLogxK

U2 - 10.1007/3-540-62503-8_1

DO - 10.1007/3-540-62503-8_1

M3 - Conference contribution

AN - SCOPUS:84878633970

SN - 3540625038

SN - 9783540625032

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 21

BT - Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers

T2 - 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages

Y2 - 24 June 1996 through 26 June 1996

ER -

Logical and operational methods in the analysis of programs and systems

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this