Formal Methods in Verification
1 works
A
Anders B�rjesson
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
1
Papers
24
Citations
1
h-index
1
i10-index
Anders B�rjesson is an academic researcher from Aalborg University. The author has contributed to research in topics: Formal Methods in Verification & Petri Nets in System Modeling & Manufacturing Process and Optimization. The author has an h-index of 1, co-authored 1 publications.
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat