Untanglings: a novel approach to analyzing concurrent systems Journal Articles uri icon

Overview

Published in

  • Formal Aspects of Computing: applicable formal methods

Time

Date/time value

  • 2015

Identity

Digital Object Identifier (DOI)

  • 10.1007/s00165-014-0329-4

Additional Document Info

Parent Title

  • FORMAL ASPECTS OF COMPUTING

Volume

  • 27

Issue

  • 5-6

Publisher

  • Springer London