Result Filters
Formal methods in system design
- NLM Title Abbreviation:
- Form Methods Syst Des
- Title(s):
- Formal methods in system design.
- Publication Start Year:
- 1992
- Frequency:
- Bimonthly
- Country of Publication:
- United States
- Publisher:
- Boston, U.S.A. : Kluwer Academic Publishers, 1992-
- Latest Publisher:
- New York : Springer US
- Description:
- v. : ill. ; 24 cm.
-
Language:
- English
- ISSN:
- 0925-9856 (Print)
1572-8102 (Electronic)
0925-9856 (Linking)
- Coden:
- FMSDE6
- LCCN:
- 93648953
sn 93004678
- Electronic Links:
- Access not provided by NLM
- In:
- PubMed: Selected citations only
- Current Indexing Status:
- Not currently indexed for MEDLINE. Citations are for articles where the manuscript was deposited in PubMed Central (PMC) in compliance with public access policies. For further information, see Author Manuscripts in PMC.
- Notes:
- Some no. combined.
Also issued online.
- Other ID:
- (OCoLC)27005794
- Collection Status:
- Not in the NLM Collection
- NLM ID:
- 101670328 [Serial]