Login / Signup
Bjørn Angel Kjær
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Special Case
Evolutionary Algorithm
Data Management
Hidden Markov Models
Top Venues
CoRR
LOPSTR
</>
Publications
</>
Bjørn Angel Kjær
,
Luís Cruz-Filipe
,
Fabrizio Montesi
From Infinity to Choreographies: Extraction for Unbounded Systems.
CoRR
(2022)
Bjørn Angel Kjær
,
Luís Cruz-Filipe
,
Fabrizio Montesi
From Infinity to Choreographies - Extraction for Unbounded Systems.
LOPSTR
(2022)