Found: 9
Select item for more details and to access through your institution.
Component-Based Verification in a Synchronous Setting.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2001, v. 11, n. 2, p. 181, doi. 10.1142/S0218194001000463
- By:
- Publication type:
- Article
Evolution as Computation.
- Published in:
- Annals of the New York Academy of Sciences, 1999, v. 879, n. 1, p. 435, doi. 10.1111/j.1749-6632.1999.tb10452.x
- By:
- Publication type:
- Article
Study of the Preparation and Properties of Chemically Modified Materials Based on Rapeseed Meal.
- Published in:
- Biomolecules (2218-273X), 2024, v. 14, n. 8, p. 982, doi. 10.3390/biom14080982
- By:
- Publication type:
- Article
Investigations on Fragments of First Order Branching Temporal Logic.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 51, doi. 10.1002/1521-3870(200201)48:1<51::AID-MALQ51>3.0.CO;2-S
- By:
- Publication type:
- Article
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 171, doi. 10.1002/(SICI)1521-3870(200005)46:2<171::AID-MALQ171>3.0.CO;2-E
- By:
- Publication type:
- Article
A Tableau Calculus for Hájek's Logic BL.
- Published in:
- Journal of Logic & Computation, 2003, v. 13, n. 2, p. 241, doi. 10.1093/logcom/13.2.241
- By:
- Publication type:
- Article
Process discovery and Petri nets.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1091, doi. 10.1017/S0960129509990132
- By:
- Publication type:
- Article
An Event Based Semantics of P Systems.
- Published in:
- Scientific Annals of Computer Science, 2008, v. 18, p. 99
- By:
- Publication type:
- Article
A NEW OPERATIONAL REPRESENTATION OF DEPENDENCIES IN EVENT STRUCTURES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:16)2021
- By:
- Publication type:
- Article