Items where Author is "Jensen, Peter Gjøl"
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)
|