2 search results - page 1 / 1 » Towards a Notion of Unsatisfiable Cores for LTL |
181
click to vote
SE
2010
15 years 7 months ago
2010
: The development and usage of complex information systems leads to both technical and human challenges as large numbers of stakeholders with conflicting requirements are involved....