"A description of modelling state transitions via constraints." . . "Modelling;Transition;Constraints"@en . "Modelling Transition Constraints"@en . . . . . . "A description of modelling state transitions via constraints."@en . "RIV/00216208:11320/02:00003488" . "Bart\u00E1k, Roman" . . . "Proceedings of the ECAI workshop on Modelling and Solving Problems with Constraints" . "8"^^ . "[CAE69A0CEDF8]" . . "Modelling Transition Constraints" . "3;10" . "Lyon" . "Lyon" . "2002-01-01+01:00"^^ . "11320" . "P(GA201/01/0942), Z(MSM 113200005)" . "Modelling Transition Constraints"@en . . "0"^^ . . "1"^^ . "0"^^ . . . . . "IOS Press" . "1"^^ . . "653836" . . "Modelling Transition Constraints" . . "RIV/00216208:11320/02:00003488!RIV/2003/GA0/113203/N" .