Menu

A. Madalinski

1 published title

Predictability verification with parallel LTL-X model checking based on petri net unfoldings

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

obnb.uk is a Good Stuff website.