Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0
Gruppieren nach: Erscheinungsjahr | Autoren | Dokumenttyp | Keine Sortierung
Springe zu: 2013 | 2012 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994

2013

Semmelrock, Nils (2013) Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations. Open Access Mannheim [Dissertation]
[img]
Vorschau

Lambertz, Christian ; Majster-Cederbaum, Mila (2013) Efficient deadlock analysis of component-based software architectures. Science of Computer Programming 78 12 2488-2510 [Zeitschriftenartikel]

2012

Lambertz, Christian ; Majster-Cederbaum, Mila (2012) Analyzing Component-Based Systems on the Basis of Architectural Constraints. In: Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers 2012 Berlin [u.a.] [Konferenzveröffentlichung]

Lambertz, Christian (2012) Software Components and Formal Methods from a Computational Viewpoint. Open Access Mannheim [Dissertation]
[img]
Vorschau

Martens, Moritz ; Majster-Cederbaum, Mila (2012) Deadlock-freedom in component systems with architectural constraints. Formal Methods in System Design 41 2 129-177 [Zeitschriftenartikel]

2010

Minnameier, Christoph (2010) Interaction in Concurrent Systems. Open Access [Dissertation]
[img]
Vorschau

Majster-Cederbaum, Mila ; Semmelrock, Nils (2010) Reachability in Tree-Like Component Systems is PSPACE-Complete. 2010 Amsterdam [u.a.] [Konferenzveröffentlichung]

Zhan, Naijun ; Majster-Cederbaum, Mila (2010) On hierarchically developing reactive systems. Information and Computation 208 9 997-1019 [Zeitschriftenartikel]

Lambertz, Christian ; Majster-Cederbaum, Mila (2010) Port Protocols for Deadlock-Freedom of Component-Based Systems. In: Proceedings : 3rd Interaction and Concurrency Experience Workshop (ICE 2010) 2010 Sydney [Konferenzveröffentlichung]

2009

Martens, Moritz (2009) Establishing Properties of Interaction Systems. Open Access Mannheim [Dissertation]
[img]
Vorschau

Lambertz, Christian (2009) Exploiting Architectural Constraints and Branching Bisimulation : Equivalences in Component-Based Systems. In: Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009 Eindhoven, The Netherlands 2009 Eindhoven [Konferenzveröffentlichung]

Martens, Moritz ; Majster-Cederbaum, Mila (2009) Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. In: 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering : (TASE 2009) ; Tianjin, China, 29 - 31 July 2009 2009 Piscataway, NJ [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Minnameier, Christoph (2009) Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-based Systems. In: Reachability problems : Third International Workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009; proceeding 2009 Berlin [u.a.] [Konferenzveröffentlichung]

2008

Wolf, Verena (2008) Equivalences on Phase Type Processes. Open Access Mannheim [Dissertation]
[img]
Vorschau

Martens, Moritz (2008) Liveness in Interaction Systems. 2008 Amsterdam [u.a.] [Konferenzveröffentlichung]

Freiling, Felix ; Lambertz, Christian ; Majster-Cederbaum, Mila (2008) Easy Consensus Algorithms for the Crash-Recovery Model. In: Distributed computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22 - 24, 2008; proceedings 2008 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz (2008) Compositional analysis of deadlock-freedom for tree-like component architectures. In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 2008 New York, NY [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Minnameier, Christoph (2008) Everything is PSPACE-complete in Interaction Systems. In: Theoretical aspects of computing - ICTAC 2008 : 5th international colloquium; Istanbul, Turkey, September 1 - 3, 2008; proceeding 2008 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Minnameier, Christoph (2008) Deriving Complexity Results for Interaction Systems from 1-safe Petri Nets. In: SOFSEM 2008: theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19 - 25, 2008; proceedings 2008 Berlin [u.a.] [Konferenzveröffentlichung]

2007

Wolf, Verena (2007) Modelling of Biochemical Reactions by Stochastic Automata Networks. In: MeCBIC 2006 : Workshop on Membrane Computing and Biologically Inspired Process Calculi, S. Servolo, Venice, Italy, July 9, 2006 2007 Amsterdam [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz ; Minnameier, Christoph ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph (2007) A Polynomial-Time checkable sufficient Condition for Deadlock-Freedom of Component-Based Systems. In: SOFSEM 2007: Theory and Practice of Computer Science : 33rd Conference on Current Trends in Theory and Practice of Computer Science; Harrachov, Czech Republic, January 20-26, 2007; proceedings 2007 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph ; Minnameier, Christoph (2007) An Approach to Modelling and Verification of Component Based Systems. In: SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings 2007 Berlin; Heidelberg [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph (2007) Ensuring Properties of Interaction Systems by Construction. 2007 Berlin; Heidelberg [Konferenzveröffentlichung]

Minnameier, Christoph (2007) Local and Global Deadlock-Detection in Component-Based Systems are NP-hard. Information Processing Letters 103 3 105-111 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Martens, Moritz (2007) Robustness in Interaction Systems. In: Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27 - 29, 2007; proceedings 2007 Berlin [u.a] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Semmelrock, Nils ; Wolf, Verena (2007) Interaction Models for Biochemical Reactions. In: Proceedings of the 2007 International Conference on Bioinformatics & Computational Biology, BIOCOMP 2007 : [at] WORLDCOMP'07, June 25 - 28, 2007, Las Vegas, Nevada, USA 2007 Las Vegas, Nev. [Konferenzveröffentlichung]

2006

Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun (2006) Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. Acta Informatica 42 6 389-418 [Zeitschriftenartikel]

Busch, Hauke ; Sandmann, Werner ; Wolf, Verena (2006) A Numerical Aggregation Algorithm for the Enzyme-catalyzed Substrate Conversion. In: Computational methods in systems biology : proceedings / International Conference, CMSB 2006, Trento, Italy, October 18 - 19, 2006 2006 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Minnameier, Christoph (2006) Termination and Divergence are undecidable under a Maximum Progress Multi-Step Semantics for LinCa. In: Theoretical aspects of computing - ICTAC 2006 : 3rd International Colloquium on Theoretical Aspects of Computing. Tunis, Tunisia, 20-24 November 2006 2006 Berlin [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Majster-Cederbaum, Mila ; Baier, Christel (2006) Trace Machines for Observing Continous time Markov chains. In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL) 2006 Amsterdam [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Fecher, Harald (2006) Action Refinement Applied to Late Decisions. Formal Aspects of Computing 18 2 211-230 [Zeitschriftenartikel]

Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila (2006) Trace Semantics for Stochastic Systems with Nondeterminism. In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006 2006 Amsterdam [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Fecher, Harald ; Leucker, Martin (2006) Don't Know in Probabilistic Systems. In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006; proceedings 2006 Berlin [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Baier, Christel (2006) Stochastic Reasoning About Channel-Based Component Connectors. In: Coordination models and languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14 - 16, 2006; proceedings 2006 Berlin [u.a.] [Konferenzveröffentlichung]

2005

Majster-Cederbaum, Mila ; Zhan, Naijun (2005) Deriving non-determinism from conjunction and disjunction. In: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan; proceedings 2005 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Fecher, Harald (2005) Event Structures for Arbitrary Disruption. Fundamenta informaticae 68 1/2 103-130 [Zeitschriftenartikel]

Wolf, Verena (2005) Testing theory for probabilistic systems. Berlin [u.a.] 233-275 [Buchkapitel]

Majster-Cederbaum, Mila ; Sun, Xiuli ; Wu, Jinzhao ; Song, Xiaoyu (2005) Formal Specification of Asynchronous Processors via Action Refinement. In: Proceedings / 5th International Workshop on Microprocessor Test and Verification : common challenges and solutions ; Austin, Texas, September 9 - 10, 2004 2005 Los Alamitos, Calif. [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena (2005) Comparative Branching Time Semantics for Markov Chains. Information and Computation 200 2 149-214 [Zeitschriftenartikel]

2004

Fecher, Harald (2004) A Completed Hierarchy of True Concurrent Equivalences. Information Processing Letters 89 5 261-265 [Zeitschriftenartikel]

Fecher, Harald (2004) Event Structures for Interrupt Process Algebras. Electronic Notes in Theoretical Computer Science : ENTCS 96 113-127 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun (2004) Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. In: Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004; proceedings 2004 Berlin [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank (2004) Towards the Hierarchical Development of Reactive Systems. Theoretical Computer Science / GI, Gesellschaft für Informatik 318 3 243-296 [Zeitschriftenartikel]

2003

Fecher, Harald (2003) Action Refinement in End-Based Choice Settings. Open Access [Dissertation]
[img]
Vorschau

Majster-Cederbaum, Mila ; Zhan, Naijun ; Fecher, Harald (2003) Action Refinement from a Logical Point of View. In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003; proceedings 2003 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Wu, Jinzhao (2003) Adding Action Refinement to Stochastic True Concurrency Models. Berlin [u.a.] 226-245 [Buchkapitel]

Zhan, Naijun (2003) Combining Hierarchical Specification with Hierarchical Implementation. In: Advances in computing science - ASIAN 2003 : programming languages and distributed computation; 8th Asian Computing Science Conference, Mumbai, India, December 10 - 12, 2003; proceedings 2003 Berlin [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena (2003) Comparative Branching Time Semantics for Markov Chains. In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings 2003 Berlin [u.a.] [Konferenzveröffentlichung]

Zhan, Naijun (2003) Compositional Properties of Sequential Processes. 2003 Amsterdam [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Wu, Jinzhao (2003) Towards Action Refinement for True Concurrent Real Time. Acta Informatica 39 8 531-577 [Zeitschriftenartikel]

2002

Fecher, Harald ; Majster-Cederbaum, Mila ; Wu, Jinzhao (2002) Action Refinement for Probabilistic Processes with True Concurrency. In: Process algebra and probabilistic methods : performance modeling and verification; second Joint International Workshop PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002; proceedings 2002 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Bundle Event Structures : a Revised Cpo Approach. Information Processing Letters 83 3 7-12 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model. Electronic Notes in Theoretical Computer Science : ENTCS 70 3 260-280 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald (2002) Taking Decisions Late : End-Based Choice with Action Refinement. Electronic Notes in Theoretical Computer Science : ENTCS 70 3 244-259 [Zeitschriftenartikel]

2001

Salger, Frank (2001) Verification in the Hierarchical Development of Reactive Systems. Open Access [Dissertation]
[img]
Vorschau

Fecher, Harald (2001) A real-time process algebra with open intervals and maximal progress. Nordic Journal of Computing : NJC 8 3 346-365 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Wu, Jinzhao (2001) Action Refinement for True Concurrent Real Time. In: Proceedings / Seventh IEEE International Conference on Engineering of Complex Computer Systems : Skövde, Sweden, June 11 - 13, 2001 2001 Los Alamitos, Calif. [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank (2001) On Developing Correct Reactive Systems by Syntatically Refining Temporal Specifications. In: FMICS 2001, Formal Methods for Industrial Critical Systems : proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems 2001 New York, NY [Konferenzveröffentlichung]

Majster-Cederbaum, Mila (2001) Underspecification for a simple process algebra of recursive processes. Theoretical Computer Science 266 1/2 935-950 [Zeitschriftenartikel]

2000

Majster-Cederbaum, Mila ; Salger, Frank ; Sorea, Maria (2000) A priori verification of reactive systems. In: Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6, FORTE XIII and PSTV XX, October 10-13, 2000, Pisa, Italy 2000 Boston, Mass. [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank (2000) Correctness by Construction: Towards Verification in Hierarchical System Development. In: SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000; proceedings 2000 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Engelen, Bettina ; Baier, Christel (2000) Deciding bisimilarity and similarity for probabilistic processes. Journal of Computer and System Sciences 60 1 187-231 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Roggenbach, Markus (2000) Towards a unified view of bisimulation: a comparative study. Theoretical Computer Science 238 1/2 81-130 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (2000) Domain Equations for Probabilistic Processes. Mathematical Structures in Computer Science 10 6 665-717 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (2000) On Topological Hierarchies of Temporal Properties. Fundamenta informaticae 41 3 259-294 [Zeitschriftenartikel]

1999

Majster-Cederbaum, Mila ; Salger, Frank (1999) A Verification Technique Based on Syntactic Action Refinement in a TCSP-Process-Algebra and the Hennessy Milner Logic. In: Advances in computing science - ASIAN '99 : proceedings / 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 1999 Berlin [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Engelen, Bettina (1999) Establishing qualitative properties for probabilistic lossy channel systems: an Algorithmic Approach. In: Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany; proceedings 1999 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank (1999) Syntactic action refinement in the modal Mu-Calculus and its application to the verification of reactive systems. In: NWPT'99 : The 11th Nordic Workshop on Programming Theory, Uppsala University, Sweden, October 6-8 1999 ; proceedings 1999 Uppsala [Konferenzveröffentlichung]

Baier, Christel ; Kwiatkowska, Marta ; Norman, Gethin (1999) Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains. In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification : proceedings 1999 Amsterdam [u.a.] [Konferenzveröffentlichung]

1998

Baier, Christel ; Katoen, Joost-Pieter ; Latella, Diego (1998) Metric Semantics for True Concurrent Real-Time. Berlin [u.a.] 568-580 [Buchkapitel]

Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili (1998) On the Semantic Foundations of Probabilistic VERUS. In: Proceedings / 1st Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, Ind., USA 1998 Trier [Konferenzveröffentlichung]

Baier, Christel ; Kwiatkowska, Marta (1998) On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Information Processing Letters 66 2 71-79 [Zeitschriftenartikel]

Baier, Christel ; Clarke, Edmund M. (1998) The Algebraic Mu-Calculus and MTBDDs. In: Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998 1998 Sao Paulo [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) Transition systems from event structures revisited. Information Processing Letters 119-124 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (1998) Model checking for a probabilistic branching time logic with fairness. Distributed Computing 11 3 125-155 [Zeitschriftenartikel]

1997

Baier, Christel ; Kwiatkowska, Marta (1997) Automatic Verification of Liveness Properties of Randomized Systems. In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing 1997 New York, NY [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Baier, Christel (1997) How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. Fundamenta informaticae 29 3 225-256 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1997) Metric Semantics from Partial Order Semantics. Acta Informatica 34 9 701-735 [Zeitschriftenartikel]

Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili ; Kwiatkowska, Marta ; Ryan, Mark (1997) Symbolic Model Checking for Probabilistic Processes. In: Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7 - 11, 1997; proceedings 1997 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Baier, Christel (1997) The Connection between Initial and Unique Solutions of Domain Equations in the CPO and Metric Approach. Formal Aspects of Computing 9 4 425-445 [Zeitschriftenartikel]

Baier, Christel (1997) Trees and Semantics. Theoretical Computer Science 179 1/2 217-250 [Zeitschriftenartikel]

Baier, Christel ; Hermanns, Holger (1997) Weak Bisimulation for Fully Probabilistic Processes. In: Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22 - 25, 1997; proceedings 1997 Berlin [u.a.] [Konferenzveröffentlichung]

1996

Baier, Christel ; Majster-Cederbaum, Mila (1996) A Categorical Characterization of Consistency. In: Algebraic Methodology and Software Technology : 5th international conference, AMAST '96, Munich, Germany, July 1 - 5, 1996; proceedings 1996 Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Baier, Christel (1996) Denotational Linear Time Semantics and Sequential Composition. Information Processing Letters 59 3 135-143 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1996) Metric Completion versus Ideal Completion. Theoretical Computer Science 170 1/2 145-171 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Roggenbach, Markus (1996) On two different characterisations of bisimulation. Bulletin of the European Association for Theoretical Computer Science EATCS : BEATCS 59 164-172 [Zeitschriftenartikel]

Baier, Christel (1996) Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. Berlin [u.a.] 38-49 [Buchkapitel]

1995

Majster-Cederbaum, Mila ; Baier, Christel (1995) Metric Completion versus Ideal Completion [Extended Abstract]. In: Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory, (STRICT), Berlin, 11 - 13 May 1995 1995 London ; Berlin [u.a.] [Konferenzveröffentlichung]

1994

Baier, Christel ; Majster-Cederbaum, Mila (1994) The Connection Between an Event Structure Semantics and an Operational Semantics for TCSP. Acta Informatica 31 1 81-104 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Zetzsche, Frank (1994) The comparison of a cpo-based semantics with a cms-based semantics for CSP. Theoretical Computer Science : the journal of the EATCS 124 1 1-40 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1994) Denotational semantics in the cpo and metric approach. Theoretical Computer Science : the journal of the EATCS 135 2 171-248 [Zeitschriftenartikel]

Diese Liste wurde am Sat Oct 20 21:47:30 2018 CEST automatisch erstellt.