Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
 
ISBN
978-3-030-87347-9
 
Publisher Verlag
Springer
Springer
 
Place of publishing Erscheinungsort
Cham
13063
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Mehmood, Usama ; Stoller, Scott D. ; Grosu, Radu ; Smolka, Scott A. Collision-Free 3D Flocking Using the Distributed Simplex ArchitectureBuchbeitrag Book Contribution 2021