Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dill, Taylor E
6  Ergebnisse:
Buchkapitel (Online) X
englisch X
Personensuche X
?
1

Media Psychology: Past, Present, and Future:

, In: The Oxford handbook of media psychology / edited by Karen E. Dill
Dill, Karen E.. (2013) 
Link: https://doi.org/10.1093/..
 
?
2

Multi-threaded reachability:

, In: Proceedings of the 42nd annual Design Automation Conference,
Sahoo, Debashis ; Jain, Jawahar ; Iyer, Subramanian K... - p. 467-470 , 2005
Link: https://dl.acm.org/doi/1..
 
?
3

Checking properties of safety critical specifications using..:

, In: Proceedings of the second workshop on Formal methods in software practice,
Park, David Y. W. ; Skakkebæk, Jens U. ; Heimdahl, Mats P. E... - p. 34-43 , 1998
Link: https://dl.acm.org/doi/1..
 
?
4

Sequential circuit verification using symbolic model checki..:

, In: Proceedings of the 27th ACM/IEEE Design Automation Conference,
Burch, J. R. ; Clarke, E. M. ; McMillan, K. L.. - p. 46-51 , 1991
Link: https://dl.acm.org/doi/1..
 
?
5

Contributors:

, In: Haschek and Rousseaux's Handbook of Toxicologic Pathology,
Adams, E. Terence ; Adler, Rick ; Alden, Carl L.... - p. xxxiii-xxxvi , 2013
Link: https://doi.org/10.1016/..
 
?
6

Multi-threaded reachability:

, In: Proceedings. 42nd Design Automation Conference, 2005.,
Sahoo, D. ; Jain, J. ; Iyer, S.K... - p. 467,468,469,470 , 2005
Link: https://doi.org/10.1145/..
 
1-6