Home › Biblio

Biblio

Export 1 results:
Sort by: Author Keyword [ Title (Asc)] Type Year
Filters: Author is Christopher Lippert  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "Stronger Validity Criteria for Encoding Synchrony", The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Cham, Springer International Publishing, 2019.