| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei |
A Uniform Multiscale Meta-model of BioShape.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Multiscale Modelling: A Mobile Membrane Approach  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Automated Analysis of MUTEX Algorithms with FASE  |
GandALF  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Read Operators and their Expressiveness in Process Algebras  |
EXPRESS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Evaluating the Efficiency of Asynchronous Systems with FASE  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito |
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.  |
ERCIM News  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei |
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.  |
IS-EUD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Detecting synchronisation of biological oscillators by model checking.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Álvarez Sabucedo, Luis E. Anido-Rifón, Flavio Corradini, Alberto Polzonetti, Barbara Re |
Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies.  |
Expert Syst. Appl.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei |
BioShape: a spatial shape-based scale-independent simulation environment for biological systems.  |
Procedia CS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.  |
Sci. Ann. Comp. Sci.  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Anido-Rifón, Flavio Corradini |
Methodologies, Technologies and Tools Enabling e-Government.  |
J. UCS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani |
Bone Remodelling in BioShape.  |
Electr. Notes Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Multiscale Bone Remodelling with Spatial P Systems  |
MeCBIC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei |
An Individual-based Probabilistic Model for Fish Stock Simulation  |
AMCA-POP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re |
Business Processes Verification for e-Government Service Delivery.  |
IS Management  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Flavio Corradini |
A Process Algebraic Approach to Software Architecture Design.  |
|
2010 |
DOI RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli |
Bone Remodelling: A Complex Automata-Based Model Running in BioShape.  |
ACRI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re |
Designing Quality Business Processes for E-Government Digital Services.  |
EGOV  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu |
Modeling and simulation of cardiac tissue using hybrid I/O automata.  |
Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Liveness of a mutex algorithm in a fair process algebra.  |
Acta Inf.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Model Checking Biological Oscillators.  |
Electr. Notes Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci |
Learning and detecting emergent behavior in networks of cardiac myocytes.  |
Commun. ACM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Explicit fairness in testing semantics  |
Logical Methods in Computer Science  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito |
Towards Bioinformatics Resourceomes.  |
Biomedical Data and Applications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
A Shape Calculus for Biological Processes.  |
ICTCS  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli |
Online Public Service Delivery.  |
CSREA EE  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito |
Resourceome for e-Government: Semantic Web Tool for Managing PA Resources.  |
CSREA EE  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Time and Fairness in a Process Algebra with Non-blocking Reading.  |
SOFSEM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli |
Holistic development of online public services.  |
ICEGOV  |
2009 |
DBLP DOI BibTeX RDF |
multidimensional perspective, online public service, egovernment |
| 1 | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito |
Constraint-Based Dynamic Conversations.  |
ICNS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka |
CellExcite: an efficient simulation environment for excitable cells.  |
BMC Bioinformatics  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Carlo Toffalori |
Preface to Special Issue devoted to the memory of Sauro Tulipani.  |
Mathematical Structures in Computer Science  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia |
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka |
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei |
Quality of service in e-government underlines the role of information usability.  |
IJIQ  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito |
A model-prover for constrained dynamic conversations.  |
iiWAS  |
2008 |
DBLP DOI BibTeX RDF |
web service, UML, conversations, OCL, WSDL, alloy |
| 1 | Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti |
A participant testing strategy for service orchestrations.  |
ICDIM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka |
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.  |
Concurrency, Graphs and Models  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska |
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.  |
HSCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti |
Improving Trust in Composite eServices Via Run-Time Participants Testing.  |
EGOV  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Walter Vogler |
Performance of pipelined asynchronous systems.  |
J. Log. Algebr. Program.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini |
BioWMS: a web-based Workflow Management System for bioinformatics.  |
BMC Bioinformatics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Separation of synchronous and asynchronous communication via testing.  |
Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Flavio Corradini, Emanuela Merelli |
A Resourceomic Grid for bioinformatics.  |
Future Generation Comp. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Carlo Toffalori |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Fair Pi.  |
Electr. Notes Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer |
A characterization of regular expressions under bisimulation.  |
J. ACM  |
2007 |
DBLP DOI BibTeX RDF |
regular expressions, Bisimulation equivalence |
| 1 | Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck |
Agents in bioinformatics, computational and systems biology.  |
Briefings in Bioinformatics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito |
Semantic Resource Management in MAS.  |
WOA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Luis Álvarez Sabucedo, Alberto Polzonetti, Luis E. Anido-Rifón, Barbara Re |
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal.  |
EGOV  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Paola Inverardi, Alexander L. Wolf |
On relating functional specifications to architectural specifications: A case study.  |
Sci. Comput. Program.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Flavio Corradini |
Preface.  |
Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Fairness of components in system computations.  |
Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Fairness of Actions in System Computations.  |
Acta Inf.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
Separation of Synchronous and Asynchronous Communication Via Testing.  |
Electr. Notes Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Checking a Mutex Algorithm in a Process Algebra with Fairness.  |
CONCUR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli |
Enacting Proactive Workflows Engine in e-Science.  |
International Conference on Computational Science  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli |
Building a MultiAgent System from a User Workflow Specification.  |
WOA  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito |
Model driven design and implementation of activity-based applications in Hermes.  |
WOA  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito |
Dynamic Constraint-Based Invocation of Web Services.  |
WS-FM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re |
Quality evaluation of e-Government digital services.  |
DG.O  |
2006 |
DBLP DOI BibTeX RDF |
quality of service, e-government, quality model |
| 1 | Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Roberto D'Angelo |
Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM.  |
DEXA Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri |
Document Exchange Methodology for Collaborative Work in e-Government.  |
DEXA Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Walter Vogler |
Measuring the performance of asynchronous systems with PAFAS.  |
Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Uwe Nestmann |
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).  |
Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Fairness of Components in System Computations.  |
Electr. Notes Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Flavio Corradini |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci |
An Agent-Oriented Conceptual Framework for Systems Biology.  |
T. Comp. Sys. Biology  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini (eds.) |
WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy  |
WOA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli |
Integrating Ontologies in Mobile Agents.  |
WOA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Walter Vogler |
Performance of Pipelined Asynchronous Systems.  |
FORMATS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli |
Hermes: Agent-Based Middleware for Mobile Computing.  |
SFM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli, Marco Vita |
A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.  |
ICCSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Flavio Corradini |
Regular Expressions in Process Algebra.  |
LICS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti |
e-Democracy: A Solution for Disadvantaged Territories.  |
ECEG  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Alberto Polzonetti, Romeo Pruno |
eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents".  |
EGOV (Workshops and Posters)  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Uwe Nestmann |
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.  |
Electr. Notes Theor. Comput. Sci.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Leonardo Mariani, Emanuela Merelli |
An agent-based approach to tool integration.  |
STTT  |
2004 |
DBLP DOI BibTeX RDF |
Agent supported tool integration, WfMS (Workflow management system), Data extraction and integration, Bioinformatics tools, MAS (Multiagent systems), Data Management |
| 1 | Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re |
An agent-based matchmaker.  |
WOA  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini |
Code Mobility for Pervasive Computing.  |
WETICE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti |
FarMAS: A MAS for Extended Quality Workflow.  |
WETICE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini |
Expressiveness of Timed Events and Timed Languages.  |
SFM  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Flavio Corradini (eds.) |
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures  |
SFM  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Candida Attanasio, Flavio Corradini, Paola Inverardi |
Static analysis of real-time component-based systems configurations.  |
Sci. Comput. Program.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Dino Di Cola |
The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes.  |
Mathematical Structures in Computer Science  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Relating Fairness and Timing in Process Algebras.  |
CONCUR  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Leonardo Mariani, Emanuela Merelli |
A Programming Environment for Global Activity-based Applications.  |
WOA  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Walter Vogler, Lars Jenner |
Comparing the worst-case efficiency of asynchronous systems with PAFAS.  |
Acta Inf.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Rocco De Nicola, Anna Labella |
An Equational Axiomatization of Bisimulation over Regular Expressions.  |
J. Log. Comput.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Gian Luigi Ferrari, Marco Pistore |
On the semantics of durational actions.  |
Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Dino Di Cola |
On testing urgency through laziness over processes with durational actions.  |
Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Marco Pistore |
`Closed Interval Process Algebra' versus `Interval Process Algebra'.  |
Acta Inf.  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Walter Vogler |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini |
On Synchronous and Asynchronous Communication Paradigms.  |
ICTCS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.  |
APAQS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini |
Absolute versus Relative Time in Process Algebras.  |
Inf. Comput.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Dino Di Cola |
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.  |
Electr. Notes Theor. Comput. Sci.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Paola Inverardi |
Preface  |
Electr. Notes Theor. Comput. Sci.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Cioffi, Flavio Corradini |
Specification and Analysis of Timed and Functional TRMCS Behaviours.  |
IWSSD  |
2000 |
DBLP BibTeX RDF |
|