[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Hybrid Specification of Reactive Systems: An Institutional Approach
- 作者Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo
- 文件大小616.98KB
- 发表时间2011
- DOI10.1007/978-3-642-24690-6_19
- 页码269-285
[Lecture Notes in Computer Science] Combinatorial Algorithms Volume 7643 ||Arumugam, S.; Smyth, W. F. · 2012
[Lecture Notes in Computer Science] Combinatorial Algorithms Volume 6460 ||Iliopoulos, Costas S.; Smyth, William F. · 2011
[Lecture Notes in Computer Science] Combinatorial Optimization Volume 9849 ||Cerulli, Raffaele; Fujishige, Satoru; Mahjoub, A. Ridha · 2016
[Lecture Notes in Computer Science] Combinatorial Algorithms Volume 10765 ||Brankovic, Ljiljana; Ryan, Joe; Smyth, William F. · 2018
[Lecture Notes in Computer Science] Combinatorial Image Analysis Volume 5852 || Signatures of Combinatorial MapsWiederhold, Petra; Barneva, Reneta P. · 2009
[Lecture Notes in Computer Science] Combinatorial Pattern Matching Volume 1848 ||Giancarlo, Raffaele; Sankoff, David · 2000
[Lecture Notes in Computer Science] Combinatorial Pattern Matching Volume 1645 ||Crochemore, Maxime; Paterson, Mike · 1999
[Lecture Notes in Computer Science] Combinatorial Pattern Matching Volume 6661 ||Giancarlo, Raffaele; Manzini, Giovanni · 2011