search result

Cover von Balanced Connected Partitioning of Unweighted Grid Graphs

Balanced Connected Partitioning of Unweighted Grid Graphs

Year: 2018
Media group: LIPIcs
Cover von Temporal logics for distributed systems
paradigms and algorithms : 10.10.1999 - 15.10.1999 (99411)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 254
Media group: DAGSTUHL-SEMINAR-REP
Cover von Formal modeling and analysis of timed systems
first international workshop, Marseille, France, September 6 - 7, 2003 : revised papers
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2791
Media group: MONOGRAPHIE
OPEN V 11.1.0.0