Linear time property (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Linear time property" in English language version.

refsWebsite

Global rank English rank

2^nd place

11^th place

8^th place

5^th place

613^th place

456^th place

doi.org (Global: 2^nd place; English: 2^nd place)

Kern & Greenstreet (1999), p. 135. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.
D'Silva, Kroening & Weissenbacher (2008), p. 5. D'Silva, Vijay; Kroening, Daniel; Weissenbacher, Georg (2008). "A Survey of Automated Techniques for Formal Software Verification". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 27 (7): 1165–1178. doi:10.1109/TCAD.2008.923410. S2CID 8921624.
Kern & Greenstreet (1999), pp. 131–132. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.
Kern & Greenstreet (1999), p. 127. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.

D'Silva, Kroening & Weissenbacher (2008), p. 5. D'Silva, Vijay; Kroening, Daniel; Weissenbacher, Georg (2008). "A Survey of Automated Techniques for Formal Software Verification". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 27 (7): 1165–1178. doi:10.1109/TCAD.2008.923410. S2CID 8921624.

Kern & Greenstreet (1999), p. 135. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.
D'Silva, Kroening & Weissenbacher (2008), p. 5. D'Silva, Vijay; Kroening, Daniel; Weissenbacher, Georg (2008). "A Survey of Automated Techniques for Formal Software Verification". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 27 (7): 1165–1178. doi:10.1109/TCAD.2008.923410. S2CID 8921624.
Kern & Greenstreet (1999), pp. 131–132. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.
Kern & Greenstreet (1999), p. 127. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.

Kern & Greenstreet (1999), p. 135. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.
Kern & Greenstreet (1999), pp. 131–132. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.
Kern & Greenstreet (1999), p. 127. Kern, Christoph; Greenstreet, Mark R. (1999). "Formal Verification in Hardware Design: A Survey". ACM Transactions on Design Automation of Electronic Systems. 4 (2). Association for Computing Machinery. doi:10.1145/307988.307989. ISSN 1084-4309. S2CID 13994730.