The following pages link to Agata Półrola (Q2493433):
Displaying 19 items.
- Advances in verification of time Petri nets and timed automata. A temporal logic approach. (Q2493434) (← links)
- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets (Q2849443) (← links)
- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets (Q3066134) (← links)
- Parametric Model Checking with VerICS (Q3066135) (← links)
- (Q3081898) (← links)
- BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets (Q3097968) (← links)
- (Q3146274) (← links)
- (Q4417931) (← links)
- (Q4461758) (← links)
- (Q4535185) (← links)
- (Q4737366) (← links)
- (Q4818749) (← links)
- Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios (Q4902305) (← links)
- SMT-Based Reachability Checking for Bounded Time Petri Nets (Q5259305) (← links)
- (Q5422299) (← links)
- (Q5500852) (← links)
- (Q5506377) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712359) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717496) (← links)
