Old Web
English
Sign In
Acemap
>
authorDetail
>
Peter H. Taankvist
Peter H. Taankvist
Aalborg University
Theoretical computer science
spike
Model checking
Colored
User Friendly
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Improvements in Unfolding of Colored Petri Nets.
2021
Alexander Bilgram
Peter Gjøl Jensen
Thomas Garm Pedersen
Jiri Srba
Peter H. Taankvist
Show All
Source
Cite
Save
Citations (0)
1