Bochmann, Gregor V. <br/><br/>
Hardware Specification with  Temporal Logic: an Example 

 - 223-231 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Arbiter<br/>Design Verification<br/>Hardware Verification