Sciweavers

Share
TACAS   2007 Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems
Wall of Fame | Most Viewed TACAS-2007 Paper
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
12 years 1 months ago
Unfolding Concurrent Well-Structured Transition Systems
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
Frédéric Herbreteau, Grégoire...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source165
2Download preprint from source165
3Download preprint from source158
4Download preprint from source144
5Download preprint from source141
6Download preprint from source136
7Download preprint from source131
8Download preprint from source126
9Download preprint from source125
10Download preprint from source124
11Download preprint from source118
12Download preprint from source117
13Download preprint from source116
14Download preprint from source110
15Download preprint from source108
16Download preprint from source105
17Download preprint from source104
18Download preprint from source103
19Download preprint from source99
20Download preprint from source99
21Download preprint from source99
22Download preprint from source98
23Download preprint from source92
24Download preprint from source91
25Download preprint from source89
26Download preprint from source80
27Download preprint from source74
28Download preprint from source67
29Download preprint from source67
books