Items where Author is "van Duijn, Ingo"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Number of items: 3.

  • Jensen, Peter Gjøl and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri and Vanerio, Juan and van Duijn, Ingo In: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA) , October 2021 , Gold Coast, Australia (2021)
  • Avin, Chen and van Duijn, Ingo and Schmid, Stefan In: 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) , Oct 22 - Oct 25 , Pisa, Italy (2019)
  • van Duijn, Ingo and Schmid, Stefan and Avin, Chen In: 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO) , July 2019 , L'Aquila, Italy (2019)
  • This list was generated on Mon Apr 22 18:09:35 2024 CEST.