The METAFrame’95 environment

Bernhard Steffen; Tiziana Margaria; Andreas Claßen; Volker Braun

doi:10.1007/3-540-61474-5_100

The METAFrame’95 environment

Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun

University of Passau

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

Original language	English
Title of host publication	Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings
Editors	Thomas A. Henzinger, Rajeev Alur
Publisher	Springer Verlag
Pages	450-453
Number of pages	4
ISBN (Print)	3540614745, 9783540614746
DOIs	https://doi.org/10.1007/3-540-61474-5_100
Publication status	Published - 1996
Externally published	Yes
Event	8th International Conference on Computer Aided Verification, CAV 1996 - New Brunswick, United States Duration: 31 Jul 1996 → 3 Aug 1996

Publication series

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

Conference

Conference	8th International Conference on Computer Aided Verification, CAV 1996
Country/Territory	United States
City	New Brunswick
Period	31/07/96 → 3/08/96

Access to Document

10.1007/3-540-61474-5_100

Cite this

Steffen, B., Margaria, T., Claßen, A., & Braun, V. (1996). The METAFrame’95 environment. In T. A. Henzinger, & R. Alur (Eds.), Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings (pp. 450-453). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1102). Springer Verlag. https://doi.org/10.1007/3-540-61474-5_100

Steffen, Bernhard ; Margaria, Tiziana ; Claßen, Andreas et al. / The METAFrame’95 environment. Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. editor / Thomas A. Henzinger ; Rajeev Alur. Springer Verlag, 1996. pp. 450-453 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2f70e63019974c6d9c1e5ed6f155c8be,

title = "The METAFrame{\textquoteright}95 environment",

author = "Bernhard Steffen and Tiziana Margaria and Andreas Cla{\ss}en and Volker Braun",

year = "1996",

doi = "10.1007/3-540-61474-5_100",

language = "English",

isbn = "3540614745",

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

publisher = "Springer Verlag",

pages = "450--453",

editor = "Henzinger, {Thomas A.} and Rajeev Alur",

booktitle = "Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings",

note = "8th International Conference on Computer Aided Verification, CAV 1996 ; Conference date: 31-07-1996 Through 03-08-1996",

}

Steffen, B, Margaria, T, Claßen, A & Braun, V 1996, The METAFrame’95 environment. in TA Henzinger & R Alur (eds), Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1102, Springer Verlag, pp. 450-453, 8th International Conference on Computer Aided Verification, CAV 1996, New Brunswick, United States, 31/07/96. https://doi.org/10.1007/3-540-61474-5_100

The METAFrame’95 environment. / Steffen, Bernhard; Margaria, Tiziana; Claßen, Andreas et al.
Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. ed. / Thomas A. Henzinger; Rajeev Alur. Springer Verlag, 1996. p. 450-453 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1102).

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

TY - GEN

T1 - The METAFrame’95 environment

AU - Steffen, Bernhard

AU - Margaria, Tiziana

AU - Claßen, Andreas

AU - Braun, Volker

PY - 1996

Y1 - 1996

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

U2 - 10.1007/3-540-61474-5_100

DO - 10.1007/3-540-61474-5_100

M3 - Conference contribution

AN - SCOPUS:84957353504

SN - 3540614745

SN - 9783540614746

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

SP - 450

EP - 453

BT - Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings

A2 - Henzinger, Thomas A.

A2 - Alur, Rajeev

PB - Springer Verlag

T2 - 8th International Conference on Computer Aided Verification, CAV 1996

Y2 - 31 July 1996 through 3 August 1996

ER -

Steffen B, Margaria T, Claßen A, Braun V. The METAFrame’95 environment. In Henzinger TA, Alur R, editors, Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. Springer Verlag. 1996. p. 450-453. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61474-5_100

The METAFrame’95 environment

Publication series

Conference

Access to Document

Other files and links

Cite this