Introduction: Special issue on partial order in formal methods

Research output: Contribution to journal › Editorial

1 Scopus citations

Original language	English
Pages (from-to)	5-6
Number of pages	2
Journal	Formal Methods in System Design
Volume	26
Issue number	1
DOIs	https://doi.org/10.1007/s10703-005-4591-1
State	Published - Jan 2005
Externally published	Yes

Access to Document

@article{c2974a6e11ed4d24b0ff96fb9ec27822,

title = "Introduction: Special issue on partial order in formal methods",

author = "Doron Peled",

year = "2005",

month = jan,

doi = "10.1007/s10703-005-4591-1",

language = "אנגלית",

volume = "26",

pages = "5--6",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Introduction

T2 - Special issue on partial order in formal methods

AU - Peled, Doron

PY - 2005/1

Y1 - 2005/1

UR - http://www.scopus.com/inward/record.url?scp=17444369044&partnerID=8YFLogxK

U2 - 10.1007/s10703-005-4591-1

DO - 10.1007/s10703-005-4591-1

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:17444369044

SN - 0925-9856

VL - 26

SP - 5

EP - 6

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -