- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j24 |      | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted modal transition systems. Formal Methods in System Design 42(2): 193-220 (2013) |
| j23 | | Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi: Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013) |
| j22 | | Saddek Bensalem, Axel Legay, Marius Bozga: Rigorous embedded design: challenges and perspectives. STTT 15(3): 149-154 (2013) |
| c83 | | Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski: Maximizing Entropy over Markov Processes. LATA 2013: 128-140 |
| c82 | | Benoît Delahaye, Kim G. Larsen, Axel Legay: Stuttering for Abstract Probabilistic Automata. LFCS 2013: 149-163 |
| c81 | | Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski: Quantifying Information Leakage of Randomized Protocols. VMCAI 2013: 68-87 |
| 2012 | ||
| j21 | | Laura Bozzelli, Axel Legay, Sophie Pinchinat: On timed alternating simulation for concurrent timed games. Acta Inf. 49(4): 249-279 (2012) |
| j20 | | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Consistency and refinement for Interval Markov Chains. J. Log. Algebr. Program. 81(3): 209-226 (2012) |
| j19 | | Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba: Extending modal transition systems with structured labels. Mathematical Structures in Computer Science 22(4): 581-617 (2012) |
| j18 | | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: New results for Constraint Markov Chains. Perform. Eval. 69(7-8): 379-401 (2012) |
| j17 | | Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: Modal event-clock specifications for timed component-based design. Sci. Comput. Program. 77(12): 1212-1234 (2012) |
| j16 | | Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay: Statistical abstraction and model-checking of large heterogeneous systems. STTT 14(1): 53-72 (2012) |
| j15 | | |
| j14 | | Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens: Model checking software product lines with SNIP. STTT 14(5): 589-612 (2012) |
| j13 | | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski: Compositional verification of real-time systems using Ecdar. STTT 14(6): 703-720 (2012) |
| c80 | | Cyrille Jégourel, Axel Legay, Sean Sedwards: Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV 2012: 327-342 |
| c79 | | Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane: General Quantitative Specification Theories with Modalities. CSR 2012: 18-30 |
| c78 | | Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans: State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375 |
| c77 | | Sebastian S. Bauer, Rolf Hennicker, Axel Legay: Component Interfaces with Contracts on Ports. FACS 2012: 19-35 |
| c76 | | Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58 |
| c75 | | Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218 |
| c74 | | Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha: TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234 |
| c73 | | Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay: Equational Abstraction Refinement for Certified Tree Regular Model Checking. ICFEM 2012: 299-315 |
| c72 | | Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682 |
| c71 | | Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry: A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222 |
| c70 | | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis: Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307 |
| c69 | | Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri: Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) 2012: 327-341 |
| c68 | | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404 |
| c67 | | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer: Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR 2012: 168-182 |
| c66 | | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen: Checking and Distributing Statistical Model Checking. NASA Formal Methods 2012: 449-463 |
| c65 | | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen: Rewrite-Based Statistical Model Checking of WMTL. RV 2012: 260-275 |
| c64 | | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 |
| c63 | | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81 |
| c62 | | Cyrille Jégourel, Axel Legay, Sean Sedwards: A Platform for High Performance Statistical Model Checking - PLASMA. TACAS 2012: 498-503 |
| c61 | | Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay: A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE 2012: 77-84 |
| c60 | | Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191 |
| c59 | | |
| c58 | | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis: Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. IWIGP 2012: 1-14 |
| c57 | | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012: 1-16 |
| c56 | | Uli Fahrenberg, Axel Legay: A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012: 5-16 |
| c55 | | Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136 |
| e3 | | Uli Fahrenberg, Axel Legay, Claus R. Thrane (Eds.): Proceedings Quantities in Formal Methods. EPTCS 103, 2012 |
| i10 | | Cyrille Jégourel, Axel Legay, Sean Sedwards: Cross-entropy optimisation of importance sampling parameters for statistical model checking. CoRR abs/1201.5229 (2012) |
| i9 | | Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat: Tree Regular Model Checking for Lattice-Based Automata. CoRR abs/1203.1495 (2012) |
| i8 | | Uli Fahrenberg, Axel Legay: History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. CoRR abs/1209.4927 (2012) |
| i7 | | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012) |
| i6 | | Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay: Refinement and Difference for Probabilistic Automata. CoRR abs/1212.4288 (2012) |
| 2011 | ||
| j12 | | Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design 38(1): 1-32 (2011) |
| j11 | | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: A Modal Interface Theory for Component-based Design. Fundam. Inform. 108(1-2): 119-149 (2011) |
| j10 | | Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011) |
| j9 | | Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of preorder checking for basic formalisms. Theor. Comput. Sci. 412(49): 6795-6808 (2011) |
| c54 | | Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127 |
| c53 | | Sebastian S. Bauer, Philip Mayer, Axel Legay: MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421 |
| c52 | | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang: Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355 |
| c51 | | Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: A Modal Specification Theory for Components with Data. FACS 2011: 61-78 |
| c50 | | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96 |
| c49 | | Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: Robust Specification of Real Time Components. FORMATS 2011: 129-144 |
| c48 | | Uli Fahrenberg, Axel Legay, Claus R. Thrane: The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114 |
| c47 | | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330 |
| c46 | | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems for Interval Markov Chains. LATA 2011: 274-285 |
| c45 | | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129 |
| c44 | | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71 |
| c43 | | Uli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500 |
| c42 | | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods 2011: 453-458 |
| c41 | | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152 |
| c40 | | Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan: A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. Software Composition 2011: 116-132 |
| c39 | | Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: Abstract Probabilistic Automata. VMCAI 2011: 324-339 |
| c38 | | James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens: Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263 |
| c37 | | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay: Distributed Parametric and Statistical Model Checking. PDMC 2011: 30-42 |
| i5 | | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. CoRR abs/1106.3961 (2011) |
| 2010 | ||
| j8 | | Edmund M. Clarke, Alexandre Donzé, Axel Legay: On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods in System Design 36(2): 97-113 (2010) |
| j7 | | Axel Legay, Pierre Wolper: On (Omega-)regular model checking. ACM Trans. Comput. Log. 12(1): 2 (2010) |
| c36 | | Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Robustness of Sequential Circuits. ACSD 2010: 77-84 |
| c35 | | Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD 2010: 223-232 |
| c34 | | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370 |
| c33 | | Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256 |
| c32 | | |
| c31 | | Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay: Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46 |
| c30 | | Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100 |
| c29 | | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin: Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344 |
| c28 | | Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of Preorder Checking for Basic Formalisms. LPAR (Dakar) 2010: 119-135 |
| c27 | | Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132 |
| c26 | | Axel Legay, Benoît Delahaye, Saddek Bensalem: Statistical Model Checking: An Overview. RV 2010: 122-135 |
| c25 | | Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis: Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344 |
| c24 | | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167 |
| c23 | | Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan: Complexity Bounds for the Verification of Real-Time Software. VMCAI 2010: 95-111 |
| c22 | | Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192 |
| c21 | | Axel Legay, Andrzej Wasowski: A Few Considerations on Structural and Logical Composition in Specification Theories. FIT 2010: 49-54 |
| e2 | | Axel Legay, Benoît Caillaud (Eds.): Proceedings Foundations for Interface Technologies. EPTCS 46, 2010 |
| i4 | | |
| 2009 | ||
| j6 | | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science 5(2) (2009) |
| j5 | | François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. 20(4): 647-667 (2009) |
| c20 | | Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani: A Bayesian Approach to Model Checking Biological Systems. CMSB 2009: 218-234 |
| c19 | | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96 |
| c18 | | Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310 |
| c17 | | Laura Bozzelli, Axel Legay, Sophie Pinchinat: On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS 2009: 85-96 |
| c16 | | Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697 |
| c15 | | Axel Legay, Mahesh Viswanathan: Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. QEST 2009: 3 |
| c14 | | Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead: Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB 2009: 155-169 |
| e1 | | |
| i3 | | Ahmed Bouajjani, Axel Legay, Pierre Wolper: A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking. CoRR abs/0901.4080 (2009) |
| i2 | | |
| 2008 | ||
| j4 | | Marco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008) |
| c13 | | |
| c12 | | Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay: Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. CMSB 2008: 231-250 |
| c11 | | Edmund M. Clarke, Alexandre Donzé, Axel Legay: Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Haifa Verification Conference 2008: 149-163 |
| c10 | | Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348 |
| c9 | | Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell: On Automated Verification of Probabilistic Programs. TACAS 2008: 173-187 |
| c8 | | François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. CIAA 2008: 112-121 |
| i1 | | |
| 2007 | ||
| c7 | | Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248 |
| 2006 | ||
| j3 | | Axel Legay, Pierre Wolper: On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. Electr. Notes Theor. Comput. Sci. 150(1): 3-8 (2006) |
| j2 | | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Tree regular model checking: A simulation-based approach. J. Log. Algebr. Program. 69(1-2): 93-121 (2006) |
| c6 | | B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy: Ticc: A Tool for Interface Compatibility and Composition. CAV 2006: 59-62 |
| c5 | | Axel Legay, Luca de Alfaro, Marco Faella: An Introduction to the Tool Ticc. Trustworthy Software 2006 |
| 2005 | ||
| j1 | | Ahmed Bouajjani, Axel Legay, Pierre Wolper: Handling Liveness Properties in (omega-)Regular Model Checking. Electr. Notes Theor. Comput. Sci. 138(3): 101-115 (2005) |
| c4 | | Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCoS 2005: 81-105 |
| c3 | | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44 |
| 2004 | ||
| c2 | | |
| 2003 | ||
| c1 | | Bernard Boigelot, Axel Legay, Pierre Wolper: Iterating Transducers in the Large (Extended Abstract). CAV 2003: 223-235 |
Data released under the ODC-BY 1.0 license — See also our legal information page