Abstract | ||
---|---|---|
)Bernard Boigelot1?, Patrice Godefroid2, Bernard Willems1and Pierre Wolper11Universit'e de Li`egeInstitut Montefiore, B28B-4000 Li`ege Sart-Tilman, Belgiumfboigelot,willems,pwg@montefiore.ulg.ac.be2Bell LaboratoriesLucent Technologies1000 E. Warrenville RoadNaperville, IL 60566, U.S.A.god@bell-labs.comAbstract. Queue-content Decision Diagrams (QDDs) are finite-automatonbased data structures for representing (possibly infinite) sets ofcontents of a finite... |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/BFb0032741 | SAS |
Keywords | Field | DocType |
extended abstract,data structure,decision diagram | Data structure,Computer science,Queue,Finite-state machine,Reachability,Theoretical computer science,Fifo queue,Temporal logic,Regular language,State space | Conference |
ISBN | Citations | PageRank |
3-540-63468-1 | 43 | 2.48 |
References | Authors | |
17 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernard Boigelot | 1 | 707 | 48.59 |
Patrice Godefroid | 2 | 3622 | 275.78 |
Bernard Willems | 3 | 43 | 2.48 |
Pierre Wolper | 4 | 4507 | 673.68 |