AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Marcus Nilsson

Marcus Nilsson

Royal Institute of Technology - Stockholm / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1091771
KTH Royal Institute of Technology
person_outline Marcus Nilsson's MOST POPULAR ARTICLES
1-) Regular model checking International Conference on Computer Aided Verification, 403-418, 2000
2-) Positioning with bluetooth 10th International Conference on Telecommunications, 2003. ICT 2003. 2, 954-958, 2003
3-) A survey of regular model checking International Conference on Concurrency Theory, 35-48, 2004
4-) Transitive closures of regular relations for verifying infinite-state systems International Conference on Tools and Algorithms for the Construction and …, 2000
5-) Handling global conditions in parametrized system verification International Conference on Computer Aided Verification, 134-145, 1999