Search results
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 474-493
Journal of Process Control > 2008 > 18 > 9 > 885-895
Annals of Operations Research > 2008 > 163 > 1 > 143-168