CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Year:

-

Key:

1001058

         

  • distributed system; shared memory; operating system; real-time system ( Subthemes )
  •          model checking; petri nets; hybrid system; timed automata ( Subthemes )
  •                  decision diagram; model checking; binary decision; symbolic model ( Subthemes )
  •                          decision diagram; binary decision; bdd minimization; branching program ( Subthemes )
  • GRAPH-BASED ALGORITHMS FOR BOOLEAN FUNCTION MANIPULATION - BRYANT  
    By
    Date 
    Refs | Theme tree | Cited by 1308 This paper is cited in the following contexts