Article,

A Graphical Approach to Component-Based and Extensible Model Checking Platforms.

, and .
Trans. Petri Nets Other Model. Concurr., (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews