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 Herausgeber
Springer
Springer
 
Place of publishing Erscheinungsort
Cham
13063
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mehmood, Usama ; Stoller, Scott D. ; Grosu, Radu ; Smolka, Scott A. Collision-Free 3D Flocking Using the Distributed Simplex ArchitectureBuchbeitrag Book Contribution 2021