gefundene Verfasser Penczek, J.

1. 1
   

   Verifying timed properties of security protocols von Jakubowska, Gizela, Penczek, Wojciech

   Veröffentlicht 2006

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in:
2. 2
   

   Transactions on petri nets and other models of concurrency XII

   Veröffentlicht 2017

   Signatur: Wird geladen …
   Standort: Wird geladen …

   
   Volltext

   Elektronisch E-Book

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in:
3. 3
   

   Challenging problems and solutions in intelligent systems

   Veröffentlicht 2016

   Signatur: Wird geladen …
   Standort: Wird geladen …

   
   Volltext

   Buch

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in: