Items where Author is "Jensen, Peter Gjøl"

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

Journal Paper

  • Jensen, Peter Gjøl and Jensen, Jesper Stenbjerg and Krogh, Troels Beck and Madsen, Jonas Sand and Schmid, Stefan and Srba, Jiri and Thorgersen, Marc Tom ISSN 1063-6692 (2021)
  • Paper in Conference Proceedings or in Workshop Proceedings

  • Jensen, Peter Gjøl and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri In: 20th International Symposium on Automated Technology for Verification and Analysis (ATVA) , Oct 25, 2022 - Oct 28, 2022 , Beijing, China (2022)
  • 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)
  • Jensen, Peter Gjøl and Konggaard, Morten and Kristiansen, Dan and Schmid, Stefan and Schrenk, Bernhard Clemens and Srba, Jiri In: 16th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT) , December 2020 , Barcelona, Spain (2020)
  • This list was generated on Mon Dec 30 07:25:18 2024 CET.