KUČERA, Antonín and Javier ESPARZA. A Logical Viewpoint on Process-Algebraic Quotients. J. Flum, M. Rodríguez-Artalejo (Eds.). In Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99). Berlin: Springer, 1999, p. 499-514. Lecture Notes in Computer Science, vol. 1683. ISBN 3-540-66536-6. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{208571, author = {Kučera, Antonín and Esparza, Javier}, address = {Berlin}, booktitle = {Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99)}, keywords = {verification; concurrency; logic; process descriptions}, language = {eng}, location = {Berlin}, isbn = {3-540-66536-6}, pages = {499-514}, publisher = {Springer}, title = {A Logical Viewpoint on Process-Algebraic Quotients}, year = {1999} }
TY - JOUR ID - 208571 AU - Kučera, Antonín - Esparza, Javier PY - 1999 TI - A Logical Viewpoint on Process-Algebraic Quotients VL - Lecture Notes in Computer Science, vol. 1683 PB - Springer CY - Berlin SN - 3540665366 KW - verification KW - concurrency KW - logic KW - process descriptions ER -
KUČERA, Antonín and Javier ESPARZA. A Logical Viewpoint on Process-Algebraic Quotients. J. Flum, M. Rodríguez-Artalejo (Eds.). In \textit{Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99)}. Berlin: Springer, 1999, p.~499-514. Lecture Notes in Computer Science, vol. 1683. ISBN~3-540-66536-6.
|