|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10432 occurrences of 4161 keywords
|
|
|
Results
Found 13114 publication records. Showing 13114 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Bahar Akbal-Delibas, Pruet Boonma, Junichi Suzuki |
Extensible and Precise Modeling for Wireless Sensor Networks. |
UNISCON |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jonas Schrieb, Heike Wehrheim, Daniel Wonisch |
Three-Valued Spotlight Abstractions. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Mar Yah Said, Michael J. Butler, Colin F. Snook |
Language and Tool Support for Class and State Machine Refinement in UML-B. |
FM |
2009 |
DBLP DOI BibTeX RDF |
UML, Formal specification, Refinement, Event-B, Visual modelling languages |
11 | Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg |
State-dependent representation independence. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
local state, representation independence, abstract data types, existential types, step-indexed logical relations |
11 | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
Incremental False Path Elimination for Static Software Analysis. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Saman Cooray, Hervé Bredin, Li-Qun Xu, Noel E. O'Connor |
An interactive and multi-level framework for summarising user generated videos. |
ACM Multimedia |
2009 |
DBLP DOI BibTeX RDF |
camera motion estimation, shot-cut detection, video summarisation, interactivity, ugvs |
11 | Georg Neis, Derek Dreyer, Andreas Rossberg |
Non-parametric parametricity. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations |
11 | Michael Huth 0001, Nir Piterman, Daniel Wagner 0002 |
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Marwan Abi-Antoun, Jonathan Aldrich |
Static extraction of sound hierarchical runtime object graphs. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
architectural extraction, ownership domains, object graphs, runtime architecture |
11 | Giovanni Beltrame, Cristiana Bolchini, Antonio Miele |
Multi-level fault modeling for transaction-level specifications. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
fault modeling, soft error, system-level design, tlm |
11 | Kenneth L. McMillan, Lenore D. Zuck |
Abstract Counterexamples for Non-disjunctive Abstractions. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Carlo Ghezzi, Andrea Mocci, Mattia Monga |
Synthesizing intensional behavior models by graph transformation. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Patrice Godefroid, Nir Piterman |
LTL Generalized Model Checking Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Frampton, Stephen M. Blackburn, Perry Cheng, Robin Garner, David Grove, J. Eliot B. Moss, Sergey I. Salishev |
Demystifying magic: high-level low-level programming. |
VEE |
2009 |
DBLP DOI BibTeX RDF |
intrinsics, jikes rvm, mmtk, vmmagic, debugging, virtualization, magic, systems programming |
11 | Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja |
MMV: A Metamodeling Based Microprocessor Validation Environment. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Gunar Schirner, Rainer Dömer |
Quantitative analysis of the speed/accuracy trade-off in transaction level modeling. |
ACM Trans. Embed. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
system-on-chip, System level design, transaction level modeling |
11 | Kais Klai, Denis Poitrenaud |
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil |
Test Purpose Concretization through Symbolic Action Refinement. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose |
11 | Rafael Manhaes Monnerat, Rogério Atem de Carvalho, Renato de Campos |
Enterprise systems modeling: the ERP5 development process. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
GERAM, enterprise informaton systems, ERP |
11 | Francien Dechesne, Simona Orzan, Yanjing Wang 0001 |
Refinement of Kripke Models for Dynamics. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry 0001 |
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto |
Approximate abstractions of discrete-time controlled stochastic hybrid systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Kyle B. Wheeler, Richard C. Murphy, Douglas Thain |
Qthreads: An API for programming with millions of lightweight threads. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Raymond Hu, Nobuko Yoshida, Kohei Honda 0001 |
Session-Based Distributed Programming in Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
11 | María Alpuente, Pedro Ojeda, Daniel Romero 0001, Demis Ballis, Moreno Falaschi |
An Abstract Generic Framework for Web Site Verification. |
SAINT |
2008 |
DBLP DOI BibTeX RDF |
Abstrac interpretation, web verification, rewriting |
11 | Markus Hillenbrand, Joachim Götze, Paul Müller 0001 |
Contract-first service development within the Venice service grid. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
contract-first, web service development, SOA |
11 | Lesley Shannon, Paul Chow |
SIMPPL: An Adaptable SoC Framework Using a Programmable Controller IP Interface to Facilitate Design Reuse. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
11 | John Derrick, Heike Wehrheim |
On using data abstractions for model checking refinements. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen |
COSMO: A conceptual framework for service modelling and refinement. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
Service concept, Service refinement, Service-orientation, Interaction modelling, Service modelling |
11 | Kevin Feeney, David Lewis 0001, Vincent Wade |
Roles Considered Harmful in Policy-based Management for Dynamic Organisations. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Michael Backes 0001, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
A calculus of challenges and responses. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, authentication protocols, process calculi |
11 | Gaurav Singh 0006, Sandeep K. Shukla |
Model Checking Bluespec Specified Hardware Designs. |
MTV |
2007 |
DBLP DOI BibTeX RDF |
|
11 | César A. M. Marcon, Sergio Johann Filho, Fabiano Hessel |
A VHDL based approach for fast and accurate energy consumption estimations. |
VLSI-SoC |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Nathan Michael, Jonathan Fink, Vijay Kumar 0001 |
Controlling a team of ground robots via an aerial robot. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Kroening, Natasha Sharygina |
Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Joseph C. Libby, Kenneth B. Kent |
An Embedded Implementation of the Microsoft Common Language Infrastructure. |
DSD |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Mohamed Nassim Seghir, Andreas Podelski |
ACSAR: Software Model Checking with Transfinite Refinement. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Gang Zhou, Man-Kit Leung, Edward A. Lee |
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Helmut Seidl, Andrea Flexeder, Michael Petter |
Interprocedurally Analysing Linear Inequality Relations. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Emilena Specht, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Érika F. Cota, Flávio Rech Wagner |
Analysis of the use of declarative languages for enhanced embedded system software development. |
SBCCI |
2007 |
DBLP DOI BibTeX RDF |
embedded software, modeling languages, system level modeling, system level synthesis |
11 | Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter |
Translation Validation of System Abstractions. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Vijay D'Silva, Sampada Sonalkar, S. Ramesh |
Existential abstractions for distributed reactive systems via syntactic transformations. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Dieter Zöbel, Christian Weyand |
Augmenting sensitivity analysis for embedded applications by program level derivation of process parameters. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Fernando Losilla 0001, Cristina Vicente-Chicote, Bárbara Álvarez, Andrés Iborra, Pedro Sánchez |
Wireless Sensor Network Application Development: An Architecture-Centric MDE Approach. |
ECSA |
2007 |
DBLP DOI BibTeX RDF |
Eclipse platform, wireless sensor networks, domain specific languages, Model-driven engineering, component-based software architecture |
11 | Tien N. Nguyen |
Multi-level Architectural Evolution Management. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Philipp Haller, Martin Odersky |
Actors That Unify Threads and Events. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Se-Hoon Kim, Kie-Sung Oh, Hyung-Il Choi |
Off-Line Verification System of the Handwrite Signature or Text, Using a Dynamic Programming. |
ICCSA (1) |
2007 |
DBLP DOI BibTeX RDF |
Verification, Dynamic Programming, Signature, Handwrite, Mahalanobis Distance, DTW, Off-line |
11 | Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja |
Model Based Test Generation for Microprocessor Architecture Validation. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Susmit Jha, Bryan A. Brady, Sanjit A. Seshia |
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Daniel A. Sadilek |
Energy-aware compilation for wireless sensor networks. |
MidSens |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, compilation, virtual machines, high-level languages, energy-awareness, network reprogramming |
11 | Chung-Fu Kao, Ing-Jer Huang, Chi-Hung Lin |
An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Pierre Talpin, Paul Le Guernic |
An algebraic theory for behavioral modeling and protocol synthesis in system design. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
GALS design, Process algebra, Synchrony, Compositional modeling |
11 | Hao Zheng 0001, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda |
Verification of timed circuits with failure-directed abstractions. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ewout Martens, Georges G. E. Gielen |
Analyzing continuous-time Delta-Sigma-Modulators with generic behavioral models. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | John F. Sowa |
Worlds, Models and Descriptions. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
Dunn’s semantics, model sets, meaning-preserving translation, semiotics, laws, model theory, possible worlds, intentionality |
11 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Platform based design for wireless sensor networks. |
Mob. Networks Appl. |
2006 |
DBLP DOI BibTeX RDF |
Sensor networks, Design automation, Platform based design |
11 | Nikola Bogunovic, Edgar Pek |
Model Checking Procedures for Infinite State Systems. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Gaurav Mathur, Peter Desnoyers, Deepak Ganesan, Prashant J. Shenoy |
Capsule: an energy-optimized object storage system for memory-constrained sensor devices. |
SenSys |
2006 |
DBLP DOI BibTeX RDF |
sensor network, embedded systems, energy efficiency, file system, objects, flash memory, storage system |
11 | Esperanza Marcos, César J. Acuña, Carlos E. Cuesta |
Integrating Software Architecture into a MDA Framework. |
EWSA |
2006 |
DBLP DOI BibTeX RDF |
Model Architecture, Architecture-Centric Design, ACMDD, Model-Driven Architecture, MDD, Architectural Model |
11 | Gunar Schirner, Rainer Dömer |
Quantitative analysis of transaction level models for the AMBA bus. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Harald Fecher, Martin Leucker, Verena Wolf |
Don't Know in Probabilistic Systems. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ondrej Lhoták, Laurie J. Hendren |
Context-Sensitive Points-to Analysis: Is It Worth It?. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Bartosz Balis, Hong Linh Truong 0001, Marian Bubak, Thomas Fahringer, Krzysztof Guzy, Kuba Rozkwitalski |
An Instrumentation Infrastructure for Grid Workflow Applications. |
OTM Conferences (2) |
2006 |
DBLP DOI BibTeX RDF |
grid, monitoring, instrumentation, legacy applications |
11 | Samin Karim, Liz Sonenberg, Ah-Hwee Tan |
A Hybrid Architecture Combining Reactive Plan Execution and Reactive Learning. |
PRICAI |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny |
Towards an Algebra of Abstractions for Communicating Processes. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Erik Ernst |
Reconciling Virtual Classes with Genericity. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Eung Nam Ko |
An Access Control Mechanism Based on Situation-Aware Ubiquitous Computing for Seamless Multimedia View Sharing. |
ICIC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | John H. Reppy |
Type-sensitive control-flow analysis. |
ML |
2006 |
DBLP DOI BibTeX RDF |
ML, control-flow analysis |
11 | Hyondeuk Kim, Fabio Somenzi |
Finite Instantiations for Integer Difference Logic. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Michaël Goffioul, Gerd Vandersteen, Joris Van Driessche, Björn Debaillie, Boris Come |
Ensuring consistency during front-end design using an object-oriented interfacing tool called NETLISP. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
object-oriented design, design flow, front-end, model consistency |
11 | Dale Miller 0001, Alwen Tiu |
A proof theory for generic judgments. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
?-tree syntax, ?-quantifier, generic judgments, reasoning about operational semantics, higher-order abstract syntax, Proof search |
11 | Anindya Banerjee 0001, David A. Naumann |
Ownership confinement ensures representation independence for object-oriented programs. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
Alias control, simulation, data refinement, confinement, relational parametricity |
11 | Fabian Breg, Constantine D. Polychronopoulos |
Computational network federations: a middleware architecture for network-based computing. |
IEEE J. Sel. Areas Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
Synchronization verification in system-level design with ILP solvers. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Gian Maria Greco, Gianluca Paronitti, Matteo Turilli, Luciano Floridi |
How to Do Philosophy Informationally. |
Wissensmanagement (LNCS Volume) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Gerstlauer, Dongwan Shin, Rainer Dömer, Daniel D. Gajski |
System-level communication modeling for network-on-chip synthesis. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Rajagopal Rajugan, Elizabeth Chang 0001, Tharam S. Dillon, Ling Feng |
A Three-Layered XML View Model: A Practical Approach. |
ER |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Klaus Ostermann, Mira Mezini, Christoph Bockisch |
Expressive Pointcuts for Increased Modularity. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Ivan Viola, M. Eduard Gröller, Markus Hadwiger, Katja Bühler, Bernhard Preim, Mario Costa Sousa, David S. Ebert, Don Stredney |
Illustrative Visualization. |
IEEE Visualization |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Giovanni Agosta, Francesco Bruschi, Marco D. Santambrogio, Donatella Sciuto |
A Data Oriented Approach to the Design of Reconfigurable Stream Decoders. |
ESTIMedia |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Koushik Niyogi, Diana Marculescu |
System level power and performance modeling of GALS point-to-point communication interfaces. |
ISLPED |
2005 |
DBLP DOI BibTeX RDF |
mixed clock FIFO, pausible clock, power modeling, globally asynchronous locally synchronous |
11 | Roman Gershman, Ofer Strichman |
HaifaSat: A New Robust SAT Solver. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Ernst Martin Witte, Anupam Chattopadhyay, Oliver Schliebusch, David Kammler |
Applying Resource Sharing Algorithms to ADL-driven Automatic ASIP Implementation. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Sudeep Pasricha, Mohamed Ben-Romdhane |
Using TLM for Exploring Bus-based SoC Communication Architectures. |
ASAP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Dick A. C. Quartel, Remco M. Dijkman, Marten van Sinderen |
An approach to relate business and application services using ISDL. |
EDOC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Flavio Corradini, Leonardo Mariani, Emanuela Merelli |
An agent-based approach to tool integration. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Agent supported tool integration, WfMS (Workflow management system), Data extraction and integration, Bioinformatics tools, MAS (Multiagent systems), Data Management |
11 | Tim Kogel, Malte Doerper, Torsten Kempf, Andreas Wieferink, Rainer Leupers, Gerd Ascheid, Heinrich Meyr |
Virtual Architecture Mapping: A SystemC Based Methodology for Architectural Exploration of System-on-Chip Designs. |
SAMOS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Hermann Streich, Oliver Adria |
Software Approach for the Autonomous Inspection Robot MAKRO. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Dennis Dams, Kedar S. Namjoshi |
The Existence of Finite Abstractions for Branching Time Model Checking. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Samira Sadaoui, Pengzhou Yin |
Generalization for component reuse. |
ACM Southeast Regional Conference |
2004 |
DBLP DOI BibTeX RDF |
generalization, algebraic specifications, reusable component |
11 | Michael John Pacione, Marc Roper, Murray Wood |
A Novel Software Visualisation Model to Support Software Comprehension. |
WCRE |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Pierre Kelsen |
A Simple Static Model for Understanding the Dynamic Behavior of Programs. |
IWPC |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Tero Rissa, Peter Y. K. Cheung, Wayne Luk |
SoftSONIC: A Customisable Modular Platform for Video Applications. |
FPL |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Marco Eugênio Madeira Di Beneditto, Leliane Nunes de Barros |
Using Concept Hierarchies in Knowledge Discovery. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch |
Virtual Mobile Nodes for Mobile Ad Hoc Networks. |
DISC |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta 0001 |
A Behavioral Type Inference System for Compositional System-on-Chip Design. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
11 | David R. Karger, Dennis Quan |
Collections: flexible, essential tools for information management. |
CHI Extended Abstracts |
2004 |
DBLP DOI BibTeX RDF |
taxonomy, portals, collections, semistructured data, folders |
11 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
11 | Morten Lind |
Means and ends of control. |
SMC (1) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Denis Lugiez, Peter Niebert, Sarah Zennou |
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
|
|