2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

52
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By IEEE

9780769532493
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Structure and Interpretation of Computer Programs

2008 ◽  
Author(s):  
Ganesh Narayan ◽  
K. Gopinath ◽  
Sridhar Varadarajan
Keyword(s):  
Computer Programs

A Bigraphical Model of WSBPEL

2008 ◽  
Author(s):  
Min Zhang ◽  
Ling Shi ◽  
Longfei Zhu ◽  
Yifei Wang ◽  
Libo Feng ◽  
...  

Symbolic Model Checking APSL

2008 ◽  
Author(s):  
Wanwei Liu ◽  
Ji Wang ◽  
Huowang Chen ◽  
Xiaodong Ma
Keyword(s):  
Model Checking ◽  
Symbolic Model Checking ◽  
Symbolic Model

Modeling and Refining the Service-Oriented Requirement

2008 ◽  
Author(s):  
Xiao-Xia Cao ◽  
Huai-Kou Miao ◽  
Qing-Guo Xu
Keyword(s):  
Service Oriented
Load More ...
Sign in / Sign up

Export Citation Format

Share Document