On process-algebraic verification of asynchronous circuits

Xu Wang, Marta Kwiatkowska

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	37-46
Number of pages	10
Publication status	Published - 1 Jan 2006
Event	Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) - Duration: 1 Jan 2006 → …

Conference	Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006)
Period	1/01/06 → …

Cite this

@conference{7f6ce0bac64b458a848bfa771fef8881,

title = "On process-algebraic verification of asynchronous circuits",

author = "Xu Wang and Marta Kwiatkowska",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "37--46",

note = "Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) ; Conference date: 01-01-2006",

}