On the expressive power of behavioral profiles Journal Articles uri icon

Overview

Published in

  • Formal Aspects of Computing: applicable formal methods

Time

Date/time value

  • 2016

Identity

Digital Object Identifier (DOI)

  • 10.1007/s00165-016-0372-4

Additional Document Info

Parent Title

  • FORMAL ASPECTS OF COMPUTING

Volume

  • 28

Issue

  • 4

Publisher

  • Springer London