• Shop by category
  • Powered by eBay
  • Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

    • Item No : 135867889630
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : bestpriceworldwide
    • Current Bid : US $244.86
    • * Item Description

    • The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category