J\"orgen Hansson

Identifiers

• name variant J\"orgen Hansson 0.60 · backfill

Papers (1)

1. Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy cs.SE · 2014 · author #3

Mentions

• 1401.3985 #3 · backfill · confidence 0.70 J\"orgen Hansson

Frequent Coauthors

• Christian Berger 1 shared papers
• Md Abdullah Al Mamun 1 shared papers