Content deleted Content added
m The year in the references of the paper was given wrong. Given 1992, but if you follow the link it directs you to a page where the year 1994 is given. |
Citation bot (talk | contribs) m Add: citeseerx. | You can use this bot yourself. Report bugs here. | User-activated. |
||
Line 22:
==References==
* {{cite journal | author=Edmund M. Clarke and Orna Grumberg and David E. Long | title=Model checking and abstraction | journal=ACM Transactions on Programming Languages and Systems| year=1994| volume=16 | issue=5 | pages=1512–1542 | doi=10.1145/186025.186051| citeseerx=10.1.1.79.3022 }}
[[Category:Model checking]]
| |||