Adnan Aziz

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with James H. Kukula

> Home > Persons > Adnan Aziz

Publications

2001
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/AzizKSY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/AzizKSY01
Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan:
Efficient control state-space search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(2): 332-336 (2001)
1998
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/AzizKS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/AzizKS98
Adnan Aziz, James H. Kukula, Thomas R. Shiple:
Hybrid Verification Using Saturated Simulation. DAC 1998: 615-618
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/KukulaSA98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KukulaSA98
James H. Kukula, Thomas R. Shiple, Adnan Aziz:
Techniques for Implicit State Enumeration of EFSMs. FMCAD 1998: 469-482

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.