Special

Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "News title" with value "'''Publication''' [[Publications/renault.22.sttt|Go2Pins: A framework for the LTL verification of Go programs (Extended Version)]] in ''International Journal on Software Tools for Technology Transfer (STTT)''". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20title/-27-27%27Publication-27-27%27-20-5B-5BPublications-2Frenault.22.sttt-7CGo2Pins:-20A-20framework-20for-20the-20LTL-20verification-20of-20Go-20programs-20(Extended-20Version)-5D-5D-20in-20-27-27International-20Journal-20on-20Software-20Tools-20for-20Technology-20Transfer-20(STTT)-27-27"