Testing Hennesy-Milner Logic with Recursion

Luca Aceto; Anna Ingolfsdottir

Testing Hennesy-Milner Logic with Recursion

Luca Aceto, Anna Ingolfsdottir

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : Lecture Notes in Computer Science
Redaktører	Thomas, W. (ed.)
Forlag	IEEE Computer Society Press
Publikationsdato	1999
Udgave	1578
Sider	41-55
ISBN (Trykt)	3540657193
Status	Udgivet - 1999
Begivenhed	Testing Hennesy-Milner Logic with Recursion - Varighed: 19 maj 2010 → …

Konference

Konference	Testing Hennesy-Milner Logic with Recursion
Periode	19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Aceto, L., & Ingolfsdottir, A. (1999). Testing Hennesy-Milner Logic with Recursion. I Thomas, W. (ed.) (red.), Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science (1578 udg., s. 41-55). IEEE Computer Society Press.

Aceto, Luca ; Ingolfsdottir, Anna. / Testing Hennesy-Milner Logic with Recursion. Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. red. / Thomas, W. (ed.). 1578. udg. IEEE Computer Society Press, 1999. s. 41-55

@inproceedings{2607e3e0003c11dab4d5000ea68e967b,

title = "Testing Hennesy-Milner Logic with Recursion",

author = "Luca Aceto and Anna Ingolfsdottir",

note = "ISSN ; 0302-9743; Testing Hennesy-Milner Logic with Recursion ; Conference date: 19-05-2010",

year = "1999",

language = "English",

isbn = "3540657193",

pages = "41--55",

editor = "{Thomas, W. (ed.)}",

booktitle = "Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "1578",

}

Aceto, L & Ingolfsdottir, A 1999, Testing Hennesy-Milner Logic with Recursion. i Thomas, W. (ed.) (red.), Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. 1578 udg, IEEE Computer Society Press, s. 41-55, Testing Hennesy-Milner Logic with Recursion, 19/05/2010.

Testing Hennesy-Milner Logic with Recursion. / Aceto, Luca; Ingolfsdottir, Anna.
Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. red. / Thomas, W. (ed.). 1578. udg. IEEE Computer Society Press, 1999. s. 41-55.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

TY - GEN

T1 - Testing Hennesy-Milner Logic with Recursion

AU - Aceto, Luca

AU - Ingolfsdottir, Anna

N1 - ISSN ; 0302-9743

PY - 1999

Y1 - 1999

M3 - Article in proceeding

SN - 3540657193

SP - 41

EP - 55

BT - Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999

A2 - Thomas, W. (ed.), null

PB - IEEE Computer Society Press

T2 - Testing Hennesy-Milner Logic with Recursion

Y2 - 19 May 2010

ER -

Aceto L, Ingolfsdottir A. Testing Hennesy-Milner Logic with Recursion. I Thomas, W. (ed.), red., Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. 1578 udg. IEEE Computer Society Press. 1999. s. 41-55