Items where Author is "Dominic, , MM"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Prasad, , PWC and Singh, , AK and Dominic, , MM (2003) Improved variable ordering for ROBDDs. DIGITAL LIBRARIES: TECHNOLOGY AND MANAGEMENT OF INDIGENOUS KNOWLEDGE FOR GLOBAL ACCESS , 2911 . pp. 544-547. ISSN 0302-9743

Prasad, , PWC and Singh, , AK and Dominic, , MM (2003) Variable order verification use of logic representation. DIGITAL LIBRARIES: TECHNOLOGY AND MANAGEMENT OF INDIGENOUS KNOWLEDGE FOR GLOBAL ACCESS , 2911 . p. 689. ISSN 0302-9743

This list was generated on Sun Dec 22 18:43:16 2024 +08.