Lazy Parallel Synchronous Composition of In finite Transition Systems
type: Dataset
description: International audience
issued: 2026-05-10T12:35:25.592816
language: en
modified: 2026-05-10T12:35:25.592821
contact point: Organization
  fn: CCSD
keyword: ccsl
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: marte
keyword: synchronized-product
keyword: verification
landing page: International Conference on ICT in Education, Research and Industrial Applications

Lazy Parallel Synchronous Composition of In finite Transition Systems
type: Distribution
format: HTML
issued: 2026-05-10T12:35:25.600595
modified: 2026-05-10T12:35:25.583541
access URL: https://inria.hal.science/hal-00839978

test_moissonnage_selune
type: Agent