Publikationsansicht

Acknowledgements (2004)

Abstract

This thesis by Daniel R. Licata is accepted in its present form by

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.123.8696
Quelle	http://www.cs.cmu.edu/~drl/pubs/lk04webverf/l04webverfthesis.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	2.2 Verification Approach, Model Checking............................ 5
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.35.104, 10.1.1.89.2034, 10.1.1.20.5470, 10.1.1.133.6615, 10.1.1.33.7744, 10.1.1.22.8034, 10.1.1.96.2964, 10.1.1.8.8657, 10.1.1.28.9649, 10.1.1.24.38