共 50 条
- [22] The challenge of probabilistic Event B -: Extended abstract [J]. ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 162 - 171
- [23] Controller synthesis for probabilistic systems (extended abstract) [J]. EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS, 2004, 155 : 493 - 506
- [25] Exploring Sparse Graphs with Advice (Extended Abstract) [J]. APPROXIMATION AND ONLINE ALGORITHMS (WAOA 2018), 2018, 11312 : 102 - 117
- [26] On defect sets in bipartite graphs - (Extended abstract) [J]. ALGORITHMS AND COMPUTATION, PROCEEDINGS, 1997, 1350 : 334 - 343
- [27] Spanning Distribution Forests of Graphs (Extended Abstract) [J]. FRONTIERS IN ALGORITHMICS, FAW 2014, 2014, 8497 : 117 - 127
- [28] Tree spanners in planar graphs - (Extended abstract) [J]. GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 1998, 1517 : 298 - 309
- [29] Directed graphs and rectangular layouts (extended abstract) [J]. Asia-Pacific Symposium on Visualisation 2007, Proceedings, 2007, : 61 - 64
- [30] Recognition of Probe Ptolemaic Graphs (Extended Abstract) [J]. COMBINATORIAL ALGORITHMS, 2011, 6460 : 286 - 290