|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1404 occurrences of 649 keywords
|
|
|
Results
Found 2636 publication records. Showing 2636 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Malek Mouhoub |
Arc Consistency for Dynamic CSPs. |
KES |
2003 |
DBLP DOI BibTeX RDF |
Dynamic Arc Consistency, Search, Constraint Satisfaction |
15 | Chavalit Likitvivatanavong |
Exploiting Microstructure in CSPs. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Hans Schlenker |
Distributed Constraint-Based Railway Simulation. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Francois Puget |
Symmetry Breaking Using Stabilizers. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Iain McDonald |
NuSBDS: An Easy to Use Symmetry Breaking System. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Martin James Green, David A. Cohen |
Tractability by Approximating Constraint Languages. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ola Angelsmark, Peter Jonsson |
Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Marluce Rodrigues Pereira, Patrícia Kayser Vargas, Felipe M. G. França, Maria Clicia Stelling de Castro, Inês de Castro Dutra |
Applying Scheduling by Edge Reversal to Constraint Partitioning. |
SBAC-PAD |
2003 |
DBLP DOI BibTeX RDF |
|
15 | S. Hamissi, M. Babes |
A Neural Approach for Solving the Constraint Satisfaction Problem. |
GMAG |
2003 |
DBLP DOI BibTeX RDF |
Neural Networks, Artificial Intelligence, Heuristics, Constraint Satisfaction Problem |
15 | Katarina Britz, Johannes Heidema |
Semiring-Valued Satisfiability. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Lars Engebretsen, Venkatesan Guruswami |
Is Constraint Satisfaction Over Two Variables Always Easy? |
RANDOM |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Barbara M. Smith |
A Dual Graph Translation of a Problem in 'Life'. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Miguel A. Salido, Federico Barber |
Disjunctive and Continuous Constraint Satisfaction Problems. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
15 | David G. Mitchell |
Resolution Complexity of Random Constraints. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Inês Lynce, João Marques-Silva 0001 |
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Alan M. Frisch, Ian Miguel, Toby Walsh |
CGRASS: A System for Transforming Constraint Satisfaction Problems. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Berthe Y. Choueiry, Amy M. Davis |
Dynamic Bundling: Less Effort for More Solutions. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Codognet, Daniel Diaz 0001 |
Yet Another Local Search Method for Constraint Solving. |
SAGA |
2001 |
DBLP DOI BibTeX RDF |
combinatorial optimization, Local search, constraint solving, search algorithms |
15 | Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes |
Capturing Structure with Satisfiability. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Barbara M. Smith |
Dual Models of Permutation Problems. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Rina Dechter, Kalev Kask, Javier Larrosa |
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget |
New Lower Bounds of Constraint Violations for Over-Constrained Problems. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Debasis Mitra 0003 |
Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
AI application to design, Interactive Planning, Modeling for simulation, Intelligent software engineering, Intelligent interfaces, Planning and scheduling, Constraint-based reasoning, Component-oriented programming |
15 | Joy N. Reed, Jane E. Sinclair |
Combining Independent Specifications. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
15 | X. Wang, Shing-Chi Cheung, J. Wei |
On the Modelling of Document Exchange Processes in E-Commerce Protocols. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Meriema Belaidouni, Jin-Kao Hao |
An Analysis of the Configuration Space of the Maximal Constraint Satisfaction Problem. |
PPSN |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Kurt Mehlhorn, Mark Ziegelmann |
Resource Constrained Shortest Paths. |
ESA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Fahiem Bacchus |
Extending Forward Checking. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Javier Larrosa |
Boosting Search with Variable Elimination. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Aomar Osmani, François Lévy |
A Constraint-Based Approach to Simulate Faults in Telecommunication Networks. |
IEA/AIE |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Timo Soininen, Ilkka Niemelä |
Developing a Declarative Rule Language for Applications in Product Configuration. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Brendan P. Mahony, Jin Song Dong |
Sensors and Actuators in TCOZ. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Andrés Terrasa, Ana García-Fornes |
Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
real-time synchronization, real-time operating systems, priority inheritance |
15 | Jon M. Kerridge, Peter H. Welch, David Wood |
Synchronization Primitives for Highly Parallel Discrete Event Simulations. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Nagu R. Dhanwada, Ranga Vemuri |
Constraint Allocation in Analog System Synthesis. |
VLSI Design |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano |
An Interactive Constraint-Based System for Selective Attention in Visual Search. |
ISMIS |
1997 |
DBLP DOI BibTeX RDF |
Computer Vision, Constraint Satisfaction |
15 | Wing Lok Yeung |
Denotational Semantics for JSD. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Zineb Habbas, Francine Herrmann, Pierre-Paul Mérel, Daniel Singer |
Load Balancing strategies for Parallel Forward Search Algorithm with Conflict Based Backjumping. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Georgios K. Theodoropoulos 0001, G. Tsakogiannis, J. V. Woods |
Occam: An Asynchronous Hardware Description Language? |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Debanjan Saha, Anupam Basu, Raj S. Mitra |
Hardware Software Partitioning Using Genetic Algorithm. |
VLSI Design |
1997 |
DBLP DOI BibTeX RDF |
specification partitioning, genetic algorithm, software engineering, embedded systems, CAD, constraint satisfaction problem, hardware software co-design, hardware software partitioning |
15 | Jörn Altmann, András Pataricza, Tamás Bartha, Péter Urbán, A. Petri |
Constraint Based System-Level Diagnosis of Multiprocessors. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Karen Seidel 0002 |
Case Study: Specification and Refinement of the PI-Bus. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
15 | John Wilkes |
DataMesh, House-Building, and Distributed Systems Technology. |
ACM SIGOPS Oper. Syst. Rev. |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Jun Gu, Wei Wang |
A Novel Discrete Relaxation Architecture. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
discrete relaxation algorithm, sequential AC-1 algorithm, sequential AC-4 algorithm, parallel DRA5 algorithm, parallel algorithms, computational complexity, parallel architectures, time complexity, polynomial, polynomials |
15 | D. K. Arvind 0001, J. Knight |
Detection of Concurrency-Related Errors in Joyce. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Henrik Reif Andersen, Glynn Winskel |
Compositional Checking of Satisfaction. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Antti Valmari, Matthew Clegg |
Reduced Labelled Transition Systems Save Verification Effort. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Franco Torquati, Massimo Paltrinieri, Alberto Momigliano |
A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | George M. Reed |
A Hierarchy of Domains for Real-Time Distributed Computing. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Chang Li |
Concurrent programming language - LISPTALK. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
|
15 | E. Pascal Gribomont |
Proving Systolic Arrays. |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
15 | E. Pascal Gribomont |
Design and Proof of Communicating Sequential Processes. |
PARLE (2) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | John H. Reif, Paul G. Spirakis |
Probabilistic Bidding Gives Optimal Distributed Resource Allocation. |
ICALP |
1984 |
DBLP DOI BibTeX RDF |
|
14 | Lichen Zhang |
Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Real Time, Formal Method, Aspect-oriented, Object-Z, Cyber Physical Systems, Timed-CSP |
14 | Hélène Fargier, Nic Wilson |
Local Computation Schemes with Partially Ordered Preferences. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
Soft CSP, Valuation networks/algebra, Dynamical programming |
14 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Compositional encoding for bounded model checking. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking |
14 | Ming Mao, Yefei Peng, Michael Spring |
Integrating the IAC neural network in ontology mapping. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
interactive activation and competition (IAC) neural network, prior+, constraint satisfaction problem (csp), ontology mapping |
14 | Mohd Fadzil Hassan 0001, Dave Robertson 0001 |
Constraint Relaxation Approach for Over-Constrained Agent Interaction. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
Over-constrained agent interaction, brittle agent protocol, Distributed Partial CSP and agent protocol |
14 | Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro 0001 |
A Theoretical Framework for Local Search Techniques. |
CSE |
2008 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction Problem (CSP), Local Search, Constraint Solving |
14 | Per Austrin, Elchanan Mossel |
Approximation Resistant Predicates from Pairwise Independence. |
CCC |
2008 |
DBLP DOI BibTeX RDF |
Max k-CSP, Approximation Resistance, Pairwise Independence, Unique Games Conjecture |
14 | Martin C. Cooper |
High-Order Consistency in Valued Constraint Satisfaction. |
Constraints An Int. J. |
2005 |
DBLP DOI BibTeX RDF |
discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints |
14 | Marc R. C. van Dongen |
Saving Support-Checks Does Not Always Save Time. |
Artif. Intell. Rev. |
2004 |
DBLP DOI BibTeX RDF |
maintain arc-consistency, Abbrevations:, CSP - constraint satisfaction problem, MAC - maintain arc consistency, RLFAP - radio link frequency assignment problem, search, heuristics, constraint satisfaction, time-complexity, space-complexity |
14 | S. Durga Bhavani, Arun K. Pujari |
EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
temporal CSP, heuristics, consistency checking, evidential reasoning |
14 | Markus P. Thiel, Taïeb Mellouli, Yufeng Guo |
Partially Integrated Airline Crew Scheduling for Team-oriented Rostering. |
OR |
2004 |
DBLP DOI BibTeX RDF |
crew scheduling (CSP), integrated crew scheduling, crew assignment (CAP), crew rostering (CRP), team-oriented rostering (ToRP), team changes, airline |
14 | Esther M. Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith |
Constraint Satisfaction Methods for Applications in Engineering. |
Eng. Comput. |
2000 |
DBLP BibTeX RDF |
Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency |
14 | Patrick M. Lenders |
A Generalized Message-Passing Mechanism for Communicating Sequential Processes. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
bidirectional message passing, generalized message-passing mechanism, symmetric communication mechanism, CSP-like syntax, weakest-precondition semantics, parallel processing, synchronization, distributed processing, systolic arrays, systolic arrays, trees (mathematics), tree structure, communicating sequential processes, concurrent processes, communication primitives |
13 | Wenxiong Li, Rong Geng, Suiyin Chen |
CSP-free adaptive Kriging surrogate model method for reliability analysis with small failure probability. |
Reliab. Eng. Syst. Saf. |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Dmitriy Zhuk |
A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Bart M. P. Jansen, Michal Wlodarczyk 0001 |
Optimal Polynomial-Time Compression for Boolean Max CSP. |
ACM Trans. Comput. Theory |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Euiwoong Lee, Pasin Manurangsi |
Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs. |
ITCS |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Karthik C. S., Dániel Marx, Marcin Pilipczuk, Uéverton S. Souza |
Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof. |
SOSA |
2024 |
DBLP DOI BibTeX RDF |
|
13 | James Baxter 0001, Ana Cavalcanti 0001, Maciej Gazda, Robert M. Hierons |
Testing using CSP Models: Time, Inputs, and Outputs. |
ACM Trans. Comput. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | N. Alizadeh, Sajjad Afrakhteh, Mohammad Reza Mosavi |
Multi-Task EEG Signal Classification Using Correlation-Based IMF Selection and Multi-Class CSP. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Muzammil Ahmad Khan, Shariq Mahmood Khan, Siva Kumar Subramaniam |
Secured Dynamic Request Scheduling and Optimal CSP Selection for Analyzing Cloud Service Performance Using Intelligent Approaches. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Qin Jiang, Yi Zhang 0053, Gengyu Ge, Zhirong Xie |
Corrections to "An Adaptive CSP and Clustering Classification for Online Motor Imagery EEG". |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yugang Qin, Yurong Qian, Hongyang Wei, Yingying Fan, Peiyun Feng |
FE-CSP: a fast and efficient pedestrian detector with center and scale prediction. |
J. Supercomput. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao |
Formalization and verification of Kafka messaging mechanism using CSP. |
Comput. Sci. Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Esther Rani P., Sri Jamiya S |
ShortYOLO-CSP: a decisive incremental improvement for real-time vehicle detection. |
J. Real Time Image Process. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Gerard Ekembe Ngondi |
Semantics of dynamic hiding in mobile UTP-CSP. |
Theor. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Julio Herce-Zelaya, Carlos Porcel, Álvaro Tejeda-Lorente, Juan Bernabé-Moreno, Enrique Herrera-Viedma |
Introducing CSP Dataset: A Dataset Optimized for the Study of the Cold Start Problem in Recommender Systems. |
Inf. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Loïc Crombez, Guilherme Dias da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade 0001, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, Da Wei Zheng |
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring. |
ACM J. Exp. Algorithmics |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Venkatesan Guruswami, Xuandi Ren, Sai Sandeep |
Baby PIH: Parameterized Inapproximability of Min CSP. |
Electron. Colloquium Comput. Complex. |
2023 |
DBLP BibTeX RDF |
|
13 | Zouhayra Ayadi, Wadii Boulila, Imed Riadh Farah |
Modeling Complex Object Changes in Satellite Image Time-Series: Approach based on CSP and Spatiotemporal Graph. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Golinelli, Francesco Bonomi, Bruno Crispo |
The Nonce-nce of Web Security: an Investigation of CSP Nonces Reuse. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tamás Kátay, László Márton Tóth, Zoltán Vidnyánszky |
The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan |
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Omar Alrabiah, Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar |
A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu |
PSTM Transaction Scheduler Verification Based on CSP and Testing. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Gengchen Mai, Ni Lao, Yutong He, Jiaming Song, Stefano Ermon |
CSP: Self-Supervised Contrastive Spatial Pre-Training for Geospatial-Visual Representations. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yuni Iwamasa, Yusuke Kobayashi 0001, Kenjiro Takazawa |
Finding a Maximum Restricted t-Matching via Boolean Edge-CSP. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Euiwoong Lee, Pasin Manurangsi |
Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Venkatesan Guruswami, Xuandi Ren, Sai Sandeep |
Baby PIH: Parameterized Inapproximability of Min CSP. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Karthik C. S., Dániel Marx, Marcin Pilipczuk, Uéverton S. Souza |
Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Loïc Crombez, Guilherme Dias da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade 0001, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, Da Wei Zheng |
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Danial Alizadeh, Hesam Omranpour |
EM-CSP: An efficient multiclass common spatial pattern feature method for speech imagery EEG signals recognition. |
Biomed. Signal Process. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Miguel Angel Pérez-Cutiño, Juan Sebastián Valverde, José Miguel Díaz-Báñez |
Detecting broken receiver tubes in CSP plants using intelligent sampling and dual loss. |
Appl. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jan Dreier, Sebastian Ordyniak, Stefan Szeider |
CSP beyond tractable constraint languages. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Benoît Ballenghien, Safouan Taha, Burkhart Wolff |
HOL-CSPM - Architectural operators for HOL-CSP. |
Arch. Formal Proofs |
2023 |
DBLP BibTeX RDF |
|
13 | Jan Bækgaard Pedersen, Kevin Chalmers |
Toward Verifying Cooperatively Scheduled Runtimes Using CSP. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Crisafulli, Safouan Taha, Burkhart Wolff |
Modeling and analysing Cyber-Physical Systems in HOL-CSP. |
Robotics Auton. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
|
|