Efficient Simplification of Bisimulation Formulas

Uffe Henrik Engberg; Kim Skak Larsen

Efficient Simplification of Bisimulation Formulas

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

1 Citationer (Scopus)

Originalsprog	Engelsk
Titel	TACAS '95 : Tools and Algorithms for Construction and Analysis of Systems, First International Workshop
Redaktører	Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen
Forlag	Springer LNCS
Publikationsdato	1995
Sider	111-132
ISBN (Trykt)	3-540-60630-0
Status	Udgivet - 1995
Begivenhed	Tools and Algorithms for Construction and Analysis of Systems, International Workshop - Aarhus, Danmark Varighed: 19 maj 1995 → 20 maj 1995 Konferencens nummer: 1

Konference

Konference	Tools and Algorithms for Construction and Analysis of Systems, International Workshop
Nummer	1
Land/Område	Danmark
By	Aarhus
Periode	19/05/1995 → 20/05/1995

Navn	Lecture Notes in Computer Science
Nummer	1019

Citationsformater

Engberg, Uffe Henrik ; Larsen, Kim Skak. / Efficient Simplification of Bisimulation Formulas. TACAS '95: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop. red. / Ed Brinksma ; Rance Cleaveland ; Kim Guldstrand Larsen ; Tiziana Margaria ; Bernhard Steffen. Springer LNCS, 1995. s. 111-132 (Lecture Notes in Computer Science; Nr. 1019).

@inproceedings{d51794d0958e11dd868b000ea68e967b,

title = "Efficient Simplification of Bisimulation Formulas",

author = "Engberg, {Uffe Henrik} and Larsen, {Kim Skak}",

year = "1995",

language = "English",

isbn = "3-540-60630-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer LNCS",

number = "1019",

pages = "111--132",

editor = "Ed Brinksma and Rance Cleaveland and Larsen, {Kim Guldstrand} and Tiziana Margaria and Bernhard Steffen",

booktitle = "TACAS '95",

note = "Tools and Algorithms for Construction and Analysis of Systems, International Workshop ; Conference date: 19-05-1995 Through 20-05-1995",

}

Engberg, UH & Larsen, KS 1995, Efficient Simplification of Bisimulation Formulas. i E Brinksma, R Cleaveland, KG Larsen, T Margaria & B Steffen (red), TACAS '95: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop. Springer LNCS, Lecture Notes in Computer Science, nr. 1019, s. 111-132, Tools and Algorithms for Construction and Analysis of Systems, International Workshop, Aarhus, Danmark, 19/05/1995.

Efficient Simplification of Bisimulation Formulas. / Engberg, Uffe Henrik; Larsen, Kim Skak.
TACAS '95: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop. red. / Ed Brinksma; Rance Cleaveland; Kim Guldstrand Larsen; Tiziana Margaria; Bernhard Steffen. Springer LNCS, 1995. s. 111-132 (Lecture Notes in Computer Science; Nr. 1019).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Efficient Simplification of Bisimulation Formulas

AU - Engberg, Uffe Henrik

AU - Larsen, Kim Skak

N1 - Conference code: 1

PY - 1995

Y1 - 1995

M3 - Article in proceedings

SN - 3-540-60630-0

T3 - Lecture Notes in Computer Science

SP - 111

EP - 132

BT - TACAS '95

A2 - Brinksma, Ed

A2 - Cleaveland, Rance

A2 - Larsen, Kim Guldstrand

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer LNCS

T2 - Tools and Algorithms for Construction and Analysis of Systems, International Workshop

Y2 - 19 May 1995 through 20 May 1995

ER -