UL Website
|
Imprint
|
Privacy Policy
|
Print
|
Home
Browse
Fulltexts
University bibliography
Statistics
About MADOC
Help
Contact
Login
Advanced Search
Export results as
ASCII Citation
BibTeX
CSL JSON
Dublin Core
Dublin Core SFX
EP3 XML
EndNote
HTML Citation
JSON
MARC21 XML
Multiline CSV
Office Document
Reference Manager
RSS 1.0
RSS 2.0
Citation
Faculties and Departments
(8723)
School of Business Informatics and Mathematics
(1249)
Praktische Informatik II (Majster-Cederbaum -2005, Em)
(7)
Order by:
Year of publication
|
Authors
|
Document Type
|
No order
Salger, Frank
(2001)
Verification in the Hierarchical Development of Reactive Systems.
None [Doctoral dissertation]
Preview
Fecher, Harald
(2003)
Action Refinement in End-Based Choice Settings.
None [Doctoral dissertation]
Preview
Wolf, Verena
(2008)
Equivalences on Phase Type Processes.
None Mannheim [Doctoral dissertation]
Preview
Martens, Moritz
(2009)
Establishing Properties of Interaction Systems.
None Mannheim [Doctoral dissertation]
Preview
Minnameier, Christoph
(2010)
Interaction in Concurrent Systems.
None [Doctoral dissertation]
Preview
Lambertz, Christian
(2012)
Software components and formal methods from a computational viewpoint.
Mannheim [Doctoral dissertation]
Preview
Semmelrock, Nils
(2013)
Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations.
Mannheim [Doctoral dissertation]
Preview
This list was created automatically on
Mon Feb 10 08:28:12 2025 CET