Vote for your favorite mineral in #MinCup25! - Titanite vs. Thortveitite
It's a pair of T-minerals with as versatile #titanite faces off against the home of rare earth elements #thortveitite.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Zhang, Hehua, Merz, Stephan, Gu, Ming (2010) Specifying and verifying PLC systems with TLA+ : A case study. Computers & Mathematics with Applications, 60. 695-705 doi:10.1016/j.camwa.2010.05.017

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleSpecifying and verifying PLC systems with TLA+ : A case study
JournalComputers & Mathematics with Applications
AuthorsZhang, HehuaAuthor
Merz, StephanAuthor
Gu, MingAuthor
Year2010 (August)Volume60
PublisherElsevier BV
DOIdoi:10.1016/j.camwa.2010.05.017Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID6573923Long-form Identifiermindat:1:5:6573923:9
GUID0
Full ReferenceZhang, Hehua, Merz, Stephan, Gu, Ming (2010) Specifying and verifying PLC systems with TLA+ : A case study. Computers & Mathematics with Applications, 60. 695-705 doi:10.1016/j.camwa.2010.05.017
Plain TextZhang, Hehua, Merz, Stephan, Gu, Ming (2010) Specifying and verifying PLC systems with TLA+ : A case study. Computers & Mathematics with Applications, 60. 695-705 doi:10.1016/j.camwa.2010.05.017
In(n.d.) Computers & Mathematics with Applications Vol. 60. Elsevier BV

See Also

These are possibly similar items as determined by title/reference text matching only.

Yang, Ming-Chien (2010) Bipanconnectivity of balanced hypercubes. Computers & Mathematics with Applications, 60. 1859-1867 doi:10.1016/j.camwa.2010.07.016
Zhong, Hong-Xiu, Gu, Xian-Ming (2019) A flexible and adaptive Simpler GMRES with deflated restarting for shifted linear systems. Computers & Mathematics with Applications, 78. 997-1007 doi:10.1016/j.camwa.2019.03.017
Li, Yinkui, Zhang, Shenggui (2010) Extremal graphs with given order and the rupture degree. Computers & Mathematics with Applications, 60. 1706-1710 doi:10.1016/j.camwa.2010.07.001
Wang, Xiuhua, Kou, Jisheng, Gu, Chuanqing (2010) A new modified secant-like method for solving nonlinear equations. Computers & Mathematics with Applications, 60. 1633-1638 doi:10.1016/j.camwa.2010.06.045
Wang, Ji-Bo, Wang, Ming-Zheng (2010) Single machine multiple common due dates scheduling with learning effects. Computers & Mathematics with Applications, 60. 2998-3002 doi:10.1016/j.camwa.2010.09.061
Gong, Ke, Xiao, Zhi, Zhang, Xia (2010) The bijective soft set with its operations. Computers & Mathematics with Applications, 60. 2270-2278 doi:10.1016/j.camwa.2010.08.017
Chen, Zhenmin, Zhang, Chi (2010) Network sharing fairness function with consideration of priority levels. Computers & Mathematics with Applications, 60. 2548-2555 doi:10.1016/j.camwa.2010.08.044
Luo, Wei-Hua, Huang, Ting-Zhu, Li, Liang, Zhang, Yong, Gu, Xian-Ming (2014) Efficient preconditioner updates for unsymmetric shifted linear systems. Computers & Mathematics with Applications, 67. 1643-1655 doi:10.1016/j.camwa.2014.03.005
Sokół, Janusz (2010) Classes of multivalent functions associated with a convolution operator. Computers & Mathematics with Applications, 60. 1343-1350 doi:10.1016/j.camwa.2010.06.015
Chu, Yu-ming, Xia, Wei-feng (2010) Two optimal double inequalities between power mean and logarithmic mean. Computers & Mathematics with Applications, 60. 83-89 doi:10.1016/j.camwa.2010.04.032
Lin, Dai-Rui, Wang, Chih-I, Zhang, Zhi-Kai, Guan, D.J. (2010) A digital signature with multiple subliminal channels and its applications. Computers & Mathematics with Applications, 60. 276-284 doi:10.1016/j.camwa.2010.01.001
 
and/or  
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: September 11, 2025 10:29:26
Go to top of page