Article,

Exploring structural symmetry automatically in symbolic trajectory evaluation.

, , , and .
Formal Methods Syst. Des., 39 (2): 117-143 (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews