Bibliographic Details
Corporate Authors: |
International Seminar on Relational Methods in Computer Science St. Catharines, Ont.,
European Cooperation in the Field of Scientific and Technical Research (Organization) COST Action 274 TARSKI (Project). Workshop,
ProQuest (Firm),
International Workshop on Applications of Kleene Algebra |
Other Authors: |
Düntsch, Ivo,
MacCaull, Wendy,
Winter, Michael, Ph. D |
Format: | Electronic
Conference Proceeding
Book
|
Language: | English |
Published: |
Berlin :
Springer,
c2006
|
Series: | Lecture notes in computer science
3929
|
Subjects: |
|