Wang, W., Hidvegi, Z., Bailey, A.D., Whinston, A.B. (2000) E-process design and assurance using model checking. Computer, 33. 48-53 doi:10.1109/2.876292

Library Home Bookshelves View by Type Using Search

Books Catalogs/Sales Lists Journals Reports Thesis/Dissertation

Search for Books Search for Journals Manage Subjects Statistics Books without DDC/LCC Top Unstructured Orphaned Articles

Bookshelves (DDC layout)Bookshelves (LCC layout)Latest Books

Advanced

Search inside 'Computer' only

- Only viewable:

Reference Type	Journal (article/letter/editorial)
Title	E-process design and assurance using model checking
Journal	Computer
Authors	Wang, W.		Author
	Hidvegi, Z.		Author
	Bailey, A.D.		Author
	Whinston, A.B.		Author
Year	2000	Volume	33
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
DOI	doi:10.1109/2.876292Search in ResearchGate
	Generate Citation Formats
Mindat Ref. ID	6557677	Long-form Identifier	mindat:1:5:6557677:3
GUID	0
Full Reference	Wang, W., Hidvegi, Z., Bailey, A.D., Whinston, A.B. (2000) E-process design and assurance using model checking. Computer, 33. 48-53 doi:10.1109/2.876292
Plain Text	Wang, W., Hidvegi, Z., Bailey, A.D., Whinston, A.B. (2000) E-process design and assurance using model checking. Computer, 33. 48-53 doi:10.1109/2.876292
In	(2000) Computer Vol. 33. Institute of Electrical and Electronics Engineers (IEEE)

	*Bailey, A.D., Gerlach, J., McAfee, R.P., Whinston, A.B. (1981) Internal Accounting Controls in the Office of the Future. Computer, 14. 59-70 doi:10.1109/c-m.1981.220452*
	*Weaver, A.C., Vetter, R.J., Whinston, A.B., Swigger, K. (2000) The future of E-commerce. Computer, 33. 30-31 doi:10.1109/mc.2000.876289*
	*Barua, A., Whinston, A.B., Fang Yin, (2000) Value and productivity in the Internet economy. Computer, 33. 102-105 doi:10.1109/2.841787*
	*Choi, S.-Y., Whinston, A.B. (1999) The future of e-commerce: integrate and customize. Computer, 32. 133-134 doi:10.1109/2.738310*
	*Xianjun Geng, , Whinston, A.B. (2001) Profiting from value-added wireless services. Computer, 34. 87-89 doi:10.1109/2.940015*
	*Tung, Y.A., Gopal, R.D., Whinston, A.B. (2003) Multiple online auctions. Computer, 36. 100-102 doi:10.1109/mc.2003.1178057*
	*Ming Fan, , Stallaert, J., Whinston, A.B. (1999) A Web-based financial trading system. Computer, 32. 64-70 doi:10.1109/2.755007*
	*Parameswaran, M., Susarla, A., Whinston, A.B. (2001) P2P networking: an information sharing alternative. Computer, 34. 31-38 doi:10.1109/2.933501*
	*Raghu, T., Ramesh, R., Whinston, A.B. (2002) Next steps for mobile entertainment portals. Computer, 35. 63-70 doi:10.1109/mc.2002.999777*
	*Parameswaran, M., Xia Zhao, , Whinston, A.B., Fang Fang, (2007) Reengineering the internet for better security. Computer, 40. 40-44 doi:10.1109/mc.2007.32*
	*Xu, Ying (2015) Carrying out Phylogenetic Analyses through Computational Model Checking. Computer, 48. 12 doi:10.1109/mc.2015.8*

Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: August 17, 2025 01:10:33

Go to top of page

Wang, W., Hidvegi, Z., Bailey, A.D., Whinston, A.B. (2000) E-process design and assurance using model checking. Computer, 33. 48-53 doi:10.1109/2.876292

See Also