PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Quemada, Juan"

Author of the publication

copydeleteadd this publication to your clipboard
TIC: A Timed Calculus for LOTOS.

, , and . FORTE, page 195-209. North-Holland, (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Juan Vargas University of Stuttgart

Jose Juan Jeronimo Rendon University of Stuttgart

Ph. D. Juan Esteban Martinez Jaramillo University of Stuttgart

Juan Patricio Lara Ditzel University of Stuttgart

Dr. -Ing. Juan Santiago López Bermúdez University of Stuttgart

 

Other publications of authors with the same name

Compressed State Space Representation in LOTOS with the Interleaved Expansion.. PSTV, page 19-35. North-Holland, (1991)Characterizing termination in LOTOS via testing., , and . PSTV, volume 38 of IFIP Conference Proceedings, page 237-250. Chapman & Hall, (1995)TIC: A Timed Calculus for LOTOS., , and . FORTE, page 195-209. North-Holland, (1989)VaaS: Videoconference as a service., , , , , and . CollaborateCom, page 1-11. ICST / IEEE, (2009)Enhancing web-based learning resources with quizzes through an authoring tool and an audience response system., , and . FIE, page 1-8. IEEE Computer Society, (2014)Towards a Learning Object pedagogical quality metric based on the LORI evaluation model., , and . FIE, page 1-8. IEEE Computer Society, (2014)State Exploration by Transformation with LOLA., , and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 294-302. Springer, (1989)Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.. FORTE, volume 3235 of Lecture Notes in Computer Science, page 33-42. Springer, (2004)Isabel: an application for real time collaboration with a flexible floor control., , , , , , , , , and . CollaborateCom, IEEE Computer Society / ICST, (2005)Isabel Distribution of the Madrid Global IPv6 Summit 2002., , , , , , , , , and . SAINT Workshops, page 200-203. IEEE Computer Society, (2003)