MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Swen Jacobs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Applications of hierarchical reasoning in the verification of complex systems
by Swen Jacobs, Viorica Sofronie-stokkermans — 2006 — Electronic Notes in Computer Science
…Applications of hierarchical reasoning in the verification of complex systems Swen Jacobs…
Cited by 5 (3 self) – Add To MetaCart

V.: Verifying CSP-OZ-DC specifications with complex data types and timing parameters
by Johannes Faber, Swen Jacobs, Viorica Sofronie-stokkermans — 2007 — In: IFM. Volume 4519 of LNCS. (2007) To
… 1 , Swen Jacobs 2 , and Viorica Sofronie-Stokkermans 2 1 Department of Computing Science, University…
Cited by 3 (2 self) – Add To MetaCart

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space ⋆
by Werner Damm, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl
… State Space ⋆ Werner Damm 2,3 ,StefanDisch 1 , Hardi Hungar 3 , Swen Jacobs 4 , Jun Pang 2 , Florian…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB