Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Peled, D. Introduction: Special Issue on Partial Order in Formal Methods. Form Method Syst Des 26, 5–6 (2005). https://doi.org/10.1007/s10703-005-4591-1
Issue Date:
DOI: https://doi.org/10.1007/s10703-005-4591-1