共 50 条
- [31] Resilience of Well-structured Graph Transformation Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 69 - 88
- [34] Unfolding concurrent well-structured transition systems TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 706 - +
- [35] Ideal Abstractions for Well-Structured Transition Systems VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 445 - 460
- [36] On Reachability in Acyclic Well-Structured Workflow Nets 2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 441 - 446
- [37] Well-structured model checking of multiagent systems PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 363 - +
- [39] A well-structured modified Booth multiplier design 2008 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT), PROCEEDINGS OF TECHNICAL PROGRAM, 2008, : 85 - 88