Higuchi, H., & Somenzi, F. (1999). Lazy group sifting for efficient symbolic state traversal of FSMs. 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051), 45-49. https://doi.org/10.1109/ICCAD.1999.810619
Citace podle Chicago (17th ed.)Higuchi, H., a F. Somenzi. "Lazy Group Sifting for Efficient Symbolic State Traversal of FSMs." 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) 1999: 45-49. https://doi.org/10.1109/ICCAD.1999.810619.
Citace podle MLA (9th ed.)Higuchi, H., a F. Somenzi. "Lazy Group Sifting for Efficient Symbolic State Traversal of FSMs." 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051), 1999, pp. 45-49, https://doi.org/10.1109/ICCAD.1999.810619.