Finite Model Generation and Formal Specification Development

T
TOOLS
1997
Technology of Object-Oriented Languages and Systems-Tools - 24
Abstract - Finite Model Generation and Formal Specification Development

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by J. Zhang

Technology of Object-Oriented Languages and Systems-Tools - 24

Beijing, China

September 01-September 01

ISBN: 0-8186-8551-4

	ASCII Text	x
	J. Zhang, "Finite Model Generation and Formal Specification Development," Technology of Object-Oriented Languages, International Conference on, pp. 350, Technology of Object-Oriented Languages and Systems-Tools - 24, 1997.

	BibTex	x
	@article{ 10.1109/TOOLS.1997.713562, author = {J. Zhang}, title = {Finite Model Generation and Formal Specification Development}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1997}, isbn = {0-8186-8551-4}, pages = {350}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.713562}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Technology of Object-Oriented Languages, International Conference on TI - Finite Model Generation and Formal Specification Development SN - 0-8186-8551-4 SP EP A1 - J. Zhang, PY - 1997 VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -

J. Zhang

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.713562

Citation:

J. Zhang, "Finite Model Generation and Formal Specification Development," tools, pp.350, Technology of Object-Oriented Languages and Systems-Tools - 24, 1997

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.