Sciweavers

15784 search results - page 331 / 3157
» Mega Software Engineering
Sort
View
VMCAI
2005
Springer
16 years 5 days ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
VSTTE
2005
Springer
16 years 5 days ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...