| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Carlos Canal, Corina S. Pasareanu |
Preface.   |
Electr. Notes Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno F. Rodrigues |
Discovering Coordination Patterns. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot |
Component Simulation-based Substitutivity Managing QoS Aspects. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Hammer, Alexander Knapp |
Correct Execution of Reconfiguration for Stateful Components. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker, Stephan Janisch, Alexander Knapp |
On the Observable Behaviour of Composite Components. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
Compositional Specification of Parallel Components Using Circus. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Christian Pfaller |
Integrating Component Tests to System Tests. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Faisal Abouzaid, John Mullins |
Formal Specification of Correlation in WS Orchestrations Using BP-calculus. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cansado, Ludovic Henrio, Eric Madelaine |
Transparent First-class Futures and Distributed Components. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela |
Unifying Architectural and Behavioural Specifications of Distributed Components. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
Global Coordination Policies for Services. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamideh Sabouri, Marjan Sirjani |
Slicing-based Reductions for Rebeca. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li |
State Based Robustness Testing for Components. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavlína Vareková, I. Vareková, Ivana Cerná |
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofia K. Dimitriadou, Helen D. Karatza |
Multi-Site Allocation Policies on a Grid and Local Level. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris Slegers |
A Langevin Interpretation of PEPA Models. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Harrison, Mieke Massink |
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Piazzolla, Marco Gribaudo |
Analysis of Television and Cinema Productions using Mean Field Models. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort |
A Massively Scalable Architecture For Instant Messaging & Presence. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Imre, M. Kaszó, Tihamer Levendovszky, Hassan Charaf |
A Novel Cost Model of XML Serialization. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Estrella Sousa Vieira, Andrés Suárez-González, Raúl Fernando Rodríguez Rubio, Cándido López-García |
Flexible adjustment of the short-term correlation of LRD M/G/ INFINITY -based processes. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston |
Bio-PEPA for Epidemiological Models. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Katinka Wolter, Philipp Reinecke |
Stochastic Models for Dependable Services. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Perez-Palacin, José Merseguer |
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hausmann, Lutz Schröder |
Optimizing Conditional Logic Reasoning within CoLoSS. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade |
Controller/Orchestrator Synthesis via Filtration. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Friedmann, Martin Lange |
A Solver for Modal Fixpoint Logics. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Ulrik Hansen |
Terminating Tableaux for Dynamic Epistemic Logics. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Götzmann, Mark Kaminski, Gert Smolka |
Spartacus: A Tableau Prover for Hybrid Logic. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Inanç Seylan, Wojciech Jamroga |
Coalition Description Logic with Individuals. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky |
A Tableau Method for Checking Rule Admissibility in S4. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Bucheli, Roman Kuznets, Thomas Studer |
Two Ways to Common Knowledge. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov |
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Ranalter |
Embedding Constructive K into Intuitionistic K. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, L. Menasché Schechter |
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander, Torben Braüner |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Renate A. Schmidt |
Simulation and Synthesis of Deduction Calculi. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Masini, Luca Viganò, Marco Volpe |
A History of Until. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Alenda, Nicola Olivetti, Gian Luca Pozzato |
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge |
OOPS: An S5n Prover for Educational Settings. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lauri Hella, Antti Kuusisto |
Monadic Sigma11 and Modal Logic with Quantified Binary Relations. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo |
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko |
Composition of Services with Constraints. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Majster-Cederbaum, Nils Semmelrock |
Reachability in Tree-Like Component Systems is PSPACE-Complete. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix |
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kloos, Robert Eschbach |
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James R. Williams, Fiona A. C. Polack |
Automated Formalisation for Verification of Diagrammatic Models. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Lagorio, Marco Servetto, Elena Zucca |
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch |
Behaviour Protocols for Interacting Stateful Components. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi |
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lumpe |
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier |
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Bernhard Schätz |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Both, Wolf Zimmermann, René Franke |
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuji Ren |
Affective Information Processing and Recognizing Human Emotion. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schäckeler, Weijia Shang, Ruth Davis |
Visualization of Procedural Abstraction. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip Benachour, Reuben Edwards |
Animation and Interactive Programming: A Practical Approach. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Rößling, Teena Vellaramkalayil |
First Steps Towards a Visualization-Based Computer Science Hypertextbook as a Moodle Module. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Cross II, T. Dean Hendrix, Larry A. Barowski |
Integrating Multiple Approaches for Interacting with Dynamic Data Structure Visualizations. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Essi Lahtinen, Tuukka Ahoniemi |
Kick-Start Activation to Novice Programming - A Visualization-Based Approach. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bruce-Lockhart, Pilu Crescenzi, Theodore S. Norvell |
Integrating test generation functionality into the Teaching Machine environment. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Gloria Sánchez-Torrubia, Carmen Torres-Blanc, M. A. López-Martínez |
PathFinder: A Visualization eMathTeacher for Actively Learning Dijkstra's Algorithm. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Moons, Carlos De Backer |
Rationale Behind the Design of the EduVisor Software Visualization Component. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ville Karavirta |
Towards Seamless Merging of Hypertext and Algorithm Animation. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Riesco, Marián D. Fondón, Darío Álvarez |
Using Graphviz as a Low-cost Option to Facilitate the Understanding of Unix Process System Calls. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Rößling, Peter Schroeder |
Animalipse - An Eclipse Plugin for AnimalScript. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Otto Seppälä, Ville Karavirta |
Work in Progress: Automatic Generation of Algorithm Animations for Lecture Slides. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Rößling, Stephan Mehlhase, Jens Pfau |
A Java API for Creating (not only) AnimalScript. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Rößling, J. Ángel Velázquez-Iturbide |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide |
Pedagogical Effectiveness of Engagement Levels - A Survey of Successful Experiences. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Ángel Velázquez-Iturbide, Antonio Pérez-Carrasco, Jaime Urquiza-Fuentes |
A Design of Automatic Visualizations for Divide-and-Conquer Algorithms. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jussi Nikander, Juha Helminen, Ari Korhonen |
Experiences on Using TRAKLA2 to Teach Spatial Data Algorithms. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Essi Lahtinen, Tuukka Ahoniemi |
Dynamic Evaluation Tree for Presenting Expression Evaluations Visually. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Rößling |
A First Set of Design Patterns for Algorithm Animation. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Johnson, David Naumann, John Power |
Category Theoretic Models of Data Refinement. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaela Heyer |
Randomness Preserving Deletions on Special Binary Search Trees. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Takizawa, Tatsuya Chida, Hiroaki Kobayashi |
Evaluating Computational Performance of Backpropagation Learning on Graphics Hardware. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuji Ren, David B. Bracewell |
Advanced Information Retrieval. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Vallée |
Functionally-Generalised MOQA Operations. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cillian Ó Tuama, James P. Gleeson |
Combined Effects of Frequency Quantization and Additive Input Noise in a First-order Digital PLL. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsuyako Miyakoda |
Discretized Fractional Calculus with a Series of Chebyshev Polynomial. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya, Anthony Karel Seda |
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacinta Townley, Joseph Manning, Michel P. Schellekens |
Sorting Algorithms in MOQA. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh Gibbons |
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manabu Sasayama, Fuji Ren, Shingo Kuroiwa |
Automatic Extraction of Super-Function From Bilingual Corpus. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Werner Gähler |
Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Romaguera, P. Tirado |
Contraction Maps on Ifqm-spaces with Application to Recurrence Equations of Quicksort. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Grant Malcolm |
Sheaves, Objects, and Distributed Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiajun Yan, David B. Bracewell, Fuji Ren, Shingo Kuroiwa |
Integration of Multiple Classifiers for Chinese Semantic Dependency Analysis. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Máire Lane, Anthony Karel Seda |
Properties of General Semantic Operators Determined by Logic-Based Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuyuki Matsumoto, Tetsuya Tanioka, Kyoko Osaka, Ai Kawamura, Syu-ichi Ueno, Fuji Ren, Yoichiro Takasaka, Alan Barnard, Rozzano C. Locsin, Mitsuko Omori |
Developing the Method of Server Controlled Outcomes Management and Variance Analysis. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David B. Bracewell, Jiajun Yan, Fuji Ren, Shingo Kuroiwa |
Category Classification and Topic Discovery of Japanese and English News Articles. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Vallée, Joseph Manning |
Reconstruction of Partial Orders and List Representation as Random Structures. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Komendantsky |
Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Tveretina, Wieger Wesselink |
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustin Riscos-Núñez |
A Framework for Complexity Classes in Membrane Computing. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Margenstern |
Surprising Areas in the Quest for Small Universal Devices. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shane Ó Conchúir |
Kind Bigraphs. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")