BRIM, Luboš. Modal logics for timed process algebras. In First North American First North American Process Algebra Workshop. Workshops in Computing, Springer-Verlag, 1992, p. 13-28. ISBN 3-540-19822-9.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Modal logics for timed process algebras
Name (in English) Modal logics for timed process algebras
Authors BRIM, Luboš.
Edition First North American First North American Process Algebra Workshop, p. 13-28, 1992.
Publisher Workshops in Computing, Springer-Verlag
Other information
Type of outcome Proceedings paper
Confidentiality degree is not subject to a state or trade secret
Organization unit Faculty of Informatics
ISBN 3-540-19822-9
Keywords in English process algebra
Tags process algebra
Changed by Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 30/4/2004 08:41.
PrintDisplayed: 17/9/2024 14:56