A Constraint Oriented Proof Methodology

Kim Guldstrand Larsen; B. Steffen; C. Weise

A Constraint Oriented Proof Methodology

Kim Guldstrand Larsen, B. Steffen, C. Weise

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	No. 1019
ISSN	0302-9743
Status	Udgivet - 1996

Bibliografisk note

In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS)
In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS)

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@article{1df14a309c2f11db8ed6000ea68e967b,

title = "A Constraint Oriented Proof Methodology",

author = "Larsen, {Kim Guldstrand} and B. Steffen and C. Weise",

note = "In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS) In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS)",

year = "1996",

language = "English",

volume = "No. 1019",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - JOUR

T1 - A Constraint Oriented Proof Methodology

AU - Larsen, Kim Guldstrand

AU - Steffen, B.

AU - Weise, C.

N1 - In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS) In Proceedings of the Workshop on Tools and Algorithms for the Constructtion and Analysis of Systems (TACAS)

PY - 1996

Y1 - 1996

M3 - Journal article

SN - 0302-9743

VL - No. 1019

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -